| | | 1 | | // Licensed to the .NET Foundation under one or more agreements. |
| | | 2 | | // The .NET Foundation licenses this file to you under the MIT license. |
| | | 3 | | |
| | | 4 | | using System.Diagnostics.CodeAnalysis; |
| | | 5 | | using System.Text.Json.Serialization.Metadata; |
| | | 6 | | |
| | | 7 | | namespace System.Text.Json.Serialization.Converters |
| | | 8 | | { |
| | | 9 | | // Converter for F# optional values: https://fsharp.github.io/fsharp-core-docs/reference/fsharp-core-option-1.html |
| | | 10 | | // Serializes `Some(value)` using the format of `value` and `None` values as `null`. |
| | | 11 | | internal sealed class FSharpOptionConverter<TOption, TElement> : JsonConverter<TOption> |
| | | 12 | | where TOption : class |
| | | 13 | | { |
| | 0 | 14 | | internal override Type? ElementType => typeof(TElement); |
| | 0 | 15 | | internal override JsonConverter? NullableElementConverter => _elementConverter; |
| | | 16 | | // 'None' is encoded using 'null' at runtime and serialized as 'null' in JSON. |
| | 0 | 17 | | public override bool HandleNull => true; |
| | | 18 | | |
| | | 19 | | private readonly JsonConverter<TElement> _elementConverter; |
| | | 20 | | private readonly Func<TOption, TElement> _optionValueGetter; |
| | | 21 | | private readonly Func<TElement?, TOption> _optionConstructor; |
| | | 22 | | |
| | | 23 | | [RequiresUnreferencedCode(FSharpCoreReflectionProxy.FSharpCoreUnreferencedCodeMessage)] |
| | | 24 | | [RequiresDynamicCode(FSharpCoreReflectionProxy.FSharpCoreUnreferencedCodeMessage)] |
| | 0 | 25 | | public FSharpOptionConverter(JsonConverter<TElement> elementConverter) |
| | 0 | 26 | | { |
| | 0 | 27 | | _elementConverter = elementConverter; |
| | 0 | 28 | | _optionValueGetter = FSharpCoreReflectionProxy.Instance.CreateFSharpOptionValueGetter<TOption, TElement>(); |
| | 0 | 29 | | _optionConstructor = FSharpCoreReflectionProxy.Instance.CreateFSharpOptionSomeConstructor<TOption, TElement> |
| | 0 | 30 | | ConverterStrategy = elementConverter.ConverterStrategy; |
| | 0 | 31 | | } |
| | | 32 | | |
| | | 33 | | internal override bool OnTryRead(ref Utf8JsonReader reader, Type typeToConvert, JsonSerializerOptions options, s |
| | 0 | 34 | | { |
| | | 35 | | // `null` values deserialize as `None` |
| | 0 | 36 | | if (!state.IsContinuation && reader.TokenType == JsonTokenType.Null) |
| | 0 | 37 | | { |
| | 0 | 38 | | value = null; |
| | 0 | 39 | | return true; |
| | | 40 | | } |
| | | 41 | | |
| | 0 | 42 | | state.Current.JsonPropertyInfo = state.Current.JsonTypeInfo.ElementTypeInfo!.PropertyInfoForTypeInfo; |
| | 0 | 43 | | if (_elementConverter.TryRead(ref reader, typeof(TElement), options, ref state, out TElement? element, out _ |
| | 0 | 44 | | { |
| | 0 | 45 | | value = _optionConstructor(element); |
| | 0 | 46 | | return true; |
| | | 47 | | } |
| | | 48 | | |
| | 0 | 49 | | value = null; |
| | 0 | 50 | | return false; |
| | 0 | 51 | | } |
| | | 52 | | |
| | | 53 | | internal override bool OnTryWrite(Utf8JsonWriter writer, TOption value, JsonSerializerOptions options, ref Write |
| | 0 | 54 | | { |
| | 0 | 55 | | if (value is null) |
| | 0 | 56 | | { |
| | | 57 | | // Write `None` values as null |
| | 0 | 58 | | writer.WriteNullValue(); |
| | 0 | 59 | | return true; |
| | | 60 | | } |
| | | 61 | | |
| | 0 | 62 | | TElement element = _optionValueGetter(value); |
| | 0 | 63 | | state.Current.JsonPropertyInfo = state.Current.JsonTypeInfo.ElementTypeInfo!.PropertyInfoForTypeInfo; |
| | 0 | 64 | | return _elementConverter.TryWrite(writer, element, options, ref state); |
| | 0 | 65 | | } |
| | | 66 | | |
| | | 67 | | // Since this is a hybrid converter (ConverterStrategy depends on the element converter), |
| | | 68 | | // we need to override the value converter Write and Read methods too. |
| | | 69 | | |
| | | 70 | | public override void Write(Utf8JsonWriter writer, TOption value, JsonSerializerOptions options) |
| | 0 | 71 | | { |
| | 0 | 72 | | if (value is null) |
| | 0 | 73 | | { |
| | 0 | 74 | | writer.WriteNullValue(); |
| | 0 | 75 | | } |
| | | 76 | | else |
| | 0 | 77 | | { |
| | 0 | 78 | | TElement element = _optionValueGetter(value); |
| | 0 | 79 | | _elementConverter.Write(writer, element, options); |
| | 0 | 80 | | } |
| | 0 | 81 | | } |
| | | 82 | | |
| | | 83 | | public override TOption? Read(ref Utf8JsonReader reader, Type typeToConvert, JsonSerializerOptions options) |
| | 0 | 84 | | { |
| | 0 | 85 | | if (reader.TokenType == JsonTokenType.Null) |
| | 0 | 86 | | { |
| | 0 | 87 | | return null; |
| | | 88 | | } |
| | | 89 | | |
| | 0 | 90 | | TElement? element = _elementConverter.Read(ref reader, typeToConvert, options); |
| | 0 | 91 | | return _optionConstructor(element); |
| | 0 | 92 | | } |
| | | 93 | | } |
| | | 94 | | } |