getWidth

    getWidth         432 defs/ClassDef.java       for (int i=0; i < getWidth(); i++) {
    getWidth         436 defs/ClassDef.java       for (int i=od.getWidth(); i < maxWidth; i++) {
    getWidth         450 defs/ClassDef.java       for (int i=od.getName().length()+4; i < getWidth(); i++) {
    getWidth         454 defs/ClassDef.java       for (int i=od.getWidth(); i < maxWidth; i++) {
    getWidth         492 defs/ClassDef.java         for (int i=od.getWidth(); i < maxWidth; i++) {
    getWidth         470 defs/Defs.java       if (maxWidth < od.getWidth()) {
    getWidth         471 defs/Defs.java         maxWidth = od.getWidth();