code: public int getWidth(Attribute attr) {
          State state;
  
          state = lookup(attr);
          if (state == null) {
              return 1;
          } else {
              return state.maxOcc;
          }
      }
docs: --