public static Stella_Object accessWhynotProofClassSlotValue(WhynotProofClass self, Symbol slotname, Stella_Object value, boolean setvalueP) {
    if (slotname == Logic.SYM_LOGIC_REPRESENTATIVE) {
      if (setvalueP) {
        self.representative = ((Justification)(value));
      }
      else {
        value = self.representative;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_DEVIATING_PATTERN) {
      if (setvalueP) {
        self.deviatingPattern = ((Justification)(value));
      }
      else {
        value = self.deviatingPattern;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_DEVIATING_VARIABLE) {
      if (setvalueP) {
        self.deviatingVariable = ((PatternVariable)(value));
      }
      else {
        value = self.deviatingVariable;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_DEVIATING_INSTANCES) {
      if (setvalueP) {
        self.deviatingInstances = ((List)(value));
      }
      else {
        value = self.deviatingInstances;
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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