getName

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