public static Stella_Object accessSavedInferenceLevelProofAdjunctSlotValue(SavedInferenceLevelProofAdjunct self, Symbol slotname, Stella_Object value, boolean setvalueP) {
    if (slotname == Logic.SYM_LOGIC_SAVED_INFERENCE_LEVEL) {
      if (setvalueP) {
        self.savedInferenceLevel = ((InferenceLevel)(value));
      }
      else {
        value = self.savedInferenceLevel;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_INFERENCE_LEVEL) {
      if (setvalueP) {
        self.inferenceLevel = ((InferenceLevel)(value));
      }
      else {
        value = self.inferenceLevel;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_DOWN_FRAME) {
      if (setvalueP) {
        self.downFrame = ((ControlFrame)(value));
      }
      else {
        value = self.downFrame;
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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