public override void WriteJson(JsonWriter writer, object value, JsonSerializer serializer)
{
ObjectRef ts = (ObjectRef)value;
writer.WriteValue(ts.ToEncodedString());
}
public static string ValueToString(ObjectRef value) => JsonConvert.ToString(value.ToEncodedString());