getName 123 defs/ClassDef.java if ( adTmp.getName().length() > width ) {
getName 124 defs/ClassDef.java width = adTmp.getName().length();
getName 241 defs/ClassDef.java name = ad.getName();
getName 274 defs/ClassDef.java name = ad.getName();
getName 362 defs/ClassDef.java line = ("| " + od.getCode() + ": " + od.getName());
getName 363 defs/ClassDef.java for (int i=od.getName().length()+4; i < getWidth(); i++) {
getName 384 defs/ClassDef.java String name = ad.getName();
getName 68 defs/Defs.java ripeAttributeAliases.addElement(ad.getName());
getName 103 defs/Defs.java ripeClassAliases.addElement(od.getName());
getName 261 defs/Defs.java System.out.println(" \"" + ad.getName() + "\",");
getName 331 defs/Defs.java String a = ((ClassDef)e.nextElement()).getName();
getName 368 defs/Defs.java System.out.println(od.getName() + "\n");
getName 377 defs/Defs.java System.out.println(od.getName() + "\n");