getName 166 defs/ClassDef.java if ( adTmp.getName().length() > width ) { getName 167 defs/ClassDef.java width = adTmp.getName().length(); getName 361 defs/ClassDef.java name = ad.getName(); getName 413 defs/ClassDef.java String name = ad.getName(); getName 524 defs/ClassDef.java line = ("| " + od.getCode() + ": " + od.getName()); getName 525 defs/ClassDef.java for (int i=od.getName().length()+4; i < getWidth(); i++) { getName 546 defs/ClassDef.java String name = ad.getName(); getName 110 defs/Defs.java if (!nameToAttribute.containsKey(ad.getName())) getName 113 defs/Defs.java nameToAttribute.put(ad.getName(), ad); getName 130 defs/Defs.java ripeAttributeAliases.addElement(ad.getName()); getName 172 defs/Defs.java ripeClassAliases.addElement(od.getName()); getName 382 defs/Defs.java System.out.println(" \"" + ad.getName() + "\","); getName 498 defs/Defs.java System.out.println(" \"" + cd.getName() + "\","); getName 688 defs/Defs.java out.println(" \"" + ad.getName() + "\","); getName 766 defs/Defs.java attributeIds.put(ad.getName(), new Integer(id)); getName 773 defs/Defs.java if (attributeIds.containsKey(ad.getName())) { getName 775 defs/Defs.java Integer prevId = (Integer)attributeIds.get(ad.getName()); getName 781 defs/Defs.java attributeIds.put(ad.getName(), new Integer(id)); getName 821 defs/Defs.java out.println(" \"" + cd.getName() + "\","); getName 831 defs/Defs.java String name = ad.getName(); getName 55 defs/RPSLSyntax.java if (as.getName().equals(name)) { getName 66 defs/RPSLSyntax.java if (as.getName().equals(name)) { getName 103 defs/RPSLSyntax.java out.println(" \"" + a.getName() + "\",");