getName

    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           99 defs/Defs.java         if (!nameToAttribute.containsKey(ad.getName()))
    getName          102 defs/Defs.java             nameToAttribute.put(ad.getName(), ad);
    getName          119 defs/Defs.java             ripeAttributeAliases.addElement(ad.getName());
    getName          161 defs/Defs.java         ripeClassAliases.addElement(od.getName());
    getName          345 defs/Defs.java         System.out.println("  \"" + ad.getName() + "\",");
    getName          417 defs/Defs.java       String a = ((ClassDef)e.nextElement()).getName();
    getName          489 defs/Defs.java       System.out.println(cd.getName() + "\n");
    getName          522 defs/Defs.java       System.out.println(od.getName() + "\n");
    getName          595 defs/Defs.java         out.println("        \"" + ad.getName() + "\",");
    getName          673 defs/Defs.java             attributeIds.put(ad.getName(), new Integer(id));
    getName          680 defs/Defs.java                 if (attributeIds.containsKey(ad.getName())) {
    getName          682 defs/Defs.java                     Integer prevId = (Integer)attributeIds.get(ad.getName());
    getName          688 defs/Defs.java                     attributeIds.put(ad.getName(), new Integer(id));
    getName          714 defs/Defs.java         out.println("        \"" + cd.getName() + "\",");
    getName          724 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() + "\",");