getName 123 defs/ClassDef.java if ( adTmp.getName().length() > width ) { getName 124 defs/ClassDef.java width = adTmp.getName().length(); getName 302 defs/ClassDef.java name = ad.getName(); getName 350 defs/ClassDef.java name = ad.getName(); getName 448 defs/ClassDef.java line = ("| " + od.getCode() + ": " + od.getName()); getName 449 defs/ClassDef.java for (int i=od.getName().length()+4; i < getWidth(); i++) { getName 470 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 427 defs/Defs.java System.out.println(cd.getName() + "\n"); getName 460 defs/Defs.java System.out.println(od.getName() + "\n");