public static Stella_Object accessConditionalAntecedentProofAdjunctSlotValue(ConditionalAntecedentProofAdjunct self, Symbol slotname, Stella_Object value, boolean setvalueP) {
    if (slotname == Logic.SYM_LOGIC_PROVABLE_RULE) {
      if (setvalueP) {
        self.provableRule = ((Proposition)(value));
      }
      else {
        value = self.provableRule;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_GOAL) {
      if (setvalueP) {
        self.goal = ((Proposition)(value));
      }
      else {
        value = self.goal;
      }
    }
    else if (slotname == Logic.SYM_STELLA_PHASE) {
      if (setvalueP) {
        self.phase = ((Keyword)(value));
      }
      else {
        value = self.phase;
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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