| | | 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; |
| | | 5 | | using System.Diagnostics.CodeAnalysis; |
| | | 6 | | using System.Text.Json.Serialization.Metadata; |
| | | 7 | | using FSharpKind = System.Text.Json.Serialization.Metadata.FSharpCoreReflectionProxy.FSharpKind; |
| | | 8 | | |
| | | 9 | | namespace System.Text.Json.Serialization.Converters |
| | | 10 | | { |
| | | 11 | | [RequiresDynamicCode(FSharpCoreReflectionProxy.FSharpCoreUnreferencedCodeMessage)] |
| | | 12 | | internal sealed class FSharpTypeConverterFactory : JsonConverterFactory |
| | | 13 | | { |
| | | 14 | | [RequiresUnreferencedCode(FSharpCoreReflectionProxy.FSharpCoreUnreferencedCodeMessage)] |
| | 3 | 15 | | public FSharpTypeConverterFactory() { } |
| | | 16 | | |
| | | 17 | | private ObjectConverterFactory? _recordConverterFactory; |
| | | 18 | | |
| | | 19 | | [UnconditionalSuppressMessage("ReflectionAnalysis", "IL2026:RequiresUnreferencedCode", |
| | | 20 | | Justification = "The ctor is marked RequiresUnreferencedCode.")] |
| | | 21 | | public override bool CanConvert(Type typeToConvert) => |
| | 2301 | 22 | | FSharpCoreReflectionProxy.IsFSharpType(typeToConvert) && |
| | 2301 | 23 | | FSharpCoreReflectionProxy.Instance.DetectFSharpKind(typeToConvert) is not FSharpKind.Unrecognized; |
| | | 24 | | |
| | | 25 | | [UnconditionalSuppressMessage("ReflectionAnalysis", "IL2026:RequiresUnreferencedCode", |
| | | 26 | | Justification = "The ctor is marked RequiresUnreferencedCode.")] |
| | | 27 | | [UnconditionalSuppressMessage("ReflectionAnalysis", "IL2055:MakeGenericType", |
| | | 28 | | Justification = "The ctor is marked RequiresUnreferencedCode.")] |
| | | 29 | | public override JsonConverter? CreateConverter(Type typeToConvert, JsonSerializerOptions options) |
| | 0 | 30 | | { |
| | 0 | 31 | | Debug.Assert(CanConvert(typeToConvert)); |
| | | 32 | | |
| | | 33 | | Type elementType; |
| | | 34 | | Type converterFactoryType; |
| | 0 | 35 | | object?[]? constructorArguments = null; |
| | | 36 | | |
| | 0 | 37 | | switch (FSharpCoreReflectionProxy.Instance.DetectFSharpKind(typeToConvert)) |
| | | 38 | | { |
| | | 39 | | case FSharpKind.Option: |
| | 0 | 40 | | elementType = typeToConvert.GetGenericArguments()[0]; |
| | 0 | 41 | | converterFactoryType = typeof(FSharpOptionConverter<,>).MakeGenericType(typeToConvert, elementType); |
| | 0 | 42 | | constructorArguments = new object[] { options.GetConverterInternal(elementType) }; |
| | 0 | 43 | | break; |
| | | 44 | | case FSharpKind.ValueOption: |
| | 0 | 45 | | elementType = typeToConvert.GetGenericArguments()[0]; |
| | 0 | 46 | | converterFactoryType = typeof(FSharpValueOptionConverter<,>).MakeGenericType(typeToConvert, elementT |
| | 0 | 47 | | constructorArguments = new object[] { options.GetConverterInternal(elementType) }; |
| | 0 | 48 | | break; |
| | | 49 | | case FSharpKind.List: |
| | 0 | 50 | | elementType = typeToConvert.GetGenericArguments()[0]; |
| | 0 | 51 | | converterFactoryType = typeof(FSharpListConverter<,>).MakeGenericType(typeToConvert, elementType); |
| | 0 | 52 | | break; |
| | | 53 | | case FSharpKind.Set: |
| | 0 | 54 | | elementType = typeToConvert.GetGenericArguments()[0]; |
| | 0 | 55 | | converterFactoryType = typeof(FSharpSetConverter<,>).MakeGenericType(typeToConvert, elementType); |
| | 0 | 56 | | break; |
| | | 57 | | case FSharpKind.Map: |
| | 0 | 58 | | Type[] genericArgs = typeToConvert.GetGenericArguments(); |
| | 0 | 59 | | Type keyType = genericArgs[0]; |
| | 0 | 60 | | Type valueType = genericArgs[1]; |
| | 0 | 61 | | converterFactoryType = typeof(FSharpMapConverter<,,>).MakeGenericType(typeToConvert, keyType, valueT |
| | 0 | 62 | | break; |
| | | 63 | | case FSharpKind.Record: |
| | | 64 | | // Use a modified object converter factory that picks the right constructor for struct record deseri |
| | 0 | 65 | | ObjectConverterFactory objectFactory = _recordConverterFactory ??= new ObjectConverterFactory(useDef |
| | 0 | 66 | | Debug.Assert(objectFactory.CanConvert(typeToConvert)); |
| | 0 | 67 | | return objectFactory.CreateConverter(typeToConvert, options); |
| | | 68 | | case FSharpKind.Union: |
| | 0 | 69 | | return UnsupportedTypeConverterFactory.CreateUnsupportedConverterForType(typeToConvert, SR.FSharpDis |
| | | 70 | | default: |
| | 0 | 71 | | Debug.Fail("Unrecognized F# type."); |
| | | 72 | | throw new Exception(); |
| | | 73 | | } |
| | | 74 | | |
| | 0 | 75 | | return (JsonConverter)Activator.CreateInstance(converterFactoryType, constructorArguments)!; |
| | 0 | 76 | | } |
| | | 77 | | } |
| | | 78 | | } |