public static Stella_Object accessBacklinksIndexSlotValue(BacklinksIndex self, Symbol slotname, Stella_Object value, boolean setvalueP) {
    if (slotname == Logic.SYM_LOGIC_DEPENDENT_PROPOSITIONS_LIST) {
      if (setvalueP) {
        self.dependentPropositionsList = ((SequenceIndex)(value));
      }
      else {
        value = self.dependentPropositionsList;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_DEPENDENT_ISA_PROPOSITIONS_LIST) {
      if (setvalueP) {
        self.dependentIsaPropositionsList = ((SequenceIndex)(value));
      }
      else {
        value = self.dependentIsaPropositionsList;
      }
    }
    else if (slotname == Logic.SYM_LOGIC_PREDICATE_PROPOSITIONS_TABLE) {
      if (setvalueP) {
        self.predicatePropositionsTable = ((HashTable)(value));
      }
      else {
        value = self.predicatePropositionsTable;
      }
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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