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");