public ConstantPool getConstants() {
   return (ConstantPool) constants.getValue(this);
 }
 // Accessors for declared fields
 public ConstMethod getConstMethod() {
   return (ConstMethod) constMethod.getValue(this);
 }