public static Stella_Object accessExplanationInfoSlotValue(ExplanationInfo self, Symbol slotname, Stella_Object value, boolean setvalueP) {
    if (slotname == Logic.SYM_STELLA_LABEL) {
      if (setvalueP) {
        self.label = ((StringWrapper)(value)).wrapperValue;
      }
      else {
        value = StringWrapper.wrapString(self.label);
      }
    }
    else if (slotname == Logic.SYM_STELLA_DEPTH) {
      if (setvalueP) {
        self.depth = ((IntegerWrapper)(value)).wrapperValue;
      }
      else {
        value = IntegerWrapper.wrapInteger(self.depth);
      }
    }
    else if (slotname == Logic.SYM_LOGIC_EXPLAINEDp) {
      if (setvalueP) {
        self.explainedP = BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper)(value)));
      }
      else {
        value = (self.explainedP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + slotname + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
    return (value);
  }