public Void visitClassType(ClassType type, Void ignore) {
printType("outer", type.getEnclosingType(), Details.SUMMARY);
printList("typarams", type.typarams_field);
printList("allparams", type.allparams_field);
printType("supertype", type.supertype_field, Details.SUMMARY);
printList("interfaces", type.interfaces_field);
printList("allinterfaces", type.all_interfaces_field);
return visitType(type, null);
}
