public static Stella_Object access_retrieval_Slot_Value(retrieval self, Symbol slotname, Stella_Object value, boolean setvalueP) {
    if (slotname == Plsoap.SYM_PLSOAP_TARGET_MODULE) {
      if (setvalueP) {
        self.targetModule = ((module)(value));
      }
      else {
        value = self.targetModule;
      }
    }
    else if (slotname == Plsoap.SYM_PLSOAP_NRESULTS) {
      if (setvalueP) {
        self.nresults = ((nresults)(value));
      }
      else {
        value = self.nresults;
      }
    }
    else if (slotname == Plsoap.SYM_LOGIC_PATTERN) {
      if (setvalueP) {
        self.pattern = ((pattern)(value));
      }
      else {
        value = self.pattern;
      }
    }
    else if (slotname == Plsoap.SYM_STELLA_OPTIONS) {
      if (setvalueP) {
        self.options = ((options)(value));
      }
      else {
        value = self.options;
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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