public static Stella_Object access_PLProposition_Slot_Value(PLProposition self, Symbol slotname, Stella_Object value, boolean setvalueP) {
    if (slotname == GuiServer.SYM_GUI_SERVER_PropositionName) {
      if (setvalueP) {
        self.PropositionName = ((StringWrapper)(value)).wrapperValue;
      }
      else {
        value = StringWrapper.wrapString(self.PropositionName);
      }
    }
    else if (slotname == GuiServer.SYM_GUI_SERVER_IsStrict) {
      if (setvalueP) {
        self.IsStrict = ((StringWrapper)(value)).wrapperValue;
      }
      else {
        value = StringWrapper.wrapString(self.IsStrict);
      }
    }
    else if (slotname == GuiServer.SYM_GUI_SERVER_IsAsserted) {
      if (setvalueP) {
        self.IsAsserted = ((StringWrapper)(value)).wrapperValue;
      }
      else {
        value = StringWrapper.wrapString(self.IsAsserted);
      }
    }
    else if (slotname == GuiServer.SYM_GUI_SERVER_IsRule) {
      if (setvalueP) {
        self.IsRule = ((StringWrapper)(value)).wrapperValue;
      }
      else {
        value = StringWrapper.wrapString(self.IsRule);
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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