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() + "\",");