public static String stringifiedSourceSetter(Stella_Object self, String value) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(self);

      if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_NAMED_DESCRIPTION)) {
        { NamedDescription self000 = ((NamedDescription)(self));

          self000.objectStringifiedSource = value;
        }
      }
      else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_LOGIC_OBJECT)) {
        { LogicObject self000 = ((LogicObject)(self));

          KeyValueList.setDynamicSlotValue(self000.dynamicSlots, Logic.SYM_LOGIC_OBJECT_STRINGIFIED_SOURCE, StringWrapper.wrapString(value), Stella.NULL_STRING_WRAPPER);
        }
      }
      else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_PROPOSITION)) {
        { Proposition self000 = ((Proposition)(self));

          KeyValueList.setDynamicSlotValue(self000.dynamicSlots, Logic.SYM_LOGIC_PROPOSITION_STRINGIFIED_SOURCE, StringWrapper.wrapString(value), Stella.NULL_STRING_WRAPPER);
        }
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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