public static Stella_Object accessAbstractPropositionsIteratorSlotValue(AbstractPropositionsIterator self, Symbol slotname, Stella_Object value, boolean setvalueP) {
    if (slotname == Logic.SYM_LOGIC_SELECTION_PATTERN) {
      if (setvalueP) {
        self.selectionPattern = ((Cons)(value));
      }
      else {
        value = self.selectionPattern;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_PROPOSITION_CURSOR) {
      if (setvalueP) {
        self.propositionCursor = ((Iterator)(value));
      }
      else {
        value = self.propositionCursor;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_EQUIVALENTS_STACK) {
      if (setvalueP) {
        self.equivalentsStack = ((Cons)(value));
      }
      else {
        value = self.equivalentsStack;
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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