getWidth 345 defs/ClassDef.java for (int i=0; i < getWidth(); i++) {
getWidth 349 defs/ClassDef.java for (int i=od.getWidth(); i < maxWidth; i++) {
getWidth 363 defs/ClassDef.java for (int i=od.getName().length()+4; i < getWidth(); i++) {
getWidth 367 defs/ClassDef.java for (int i=od.getWidth(); i < maxWidth; i++) {
getWidth 405 defs/ClassDef.java for (int i=od.getWidth(); i < maxWidth; i++) {
getWidth 389 defs/Defs.java if (maxWidth < od.getWidth()) {
getWidth 390 defs/Defs.java maxWidth = od.getWidth();