// Copyright (c) .NET Foundation and contributors. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.
 
using System.Linq;
using ILLink.Shared.DataFlow;
using ILLink.Shared.TrimAnalysis;
using ILLink.Shared.TypeSystemProxy;
using Microsoft.CodeAnalysis;
 
namespace ILLink.RoslynAnalyzer.TrimAnalysis
{
    public static class SingleValueExtensions
    {
        public static SingleValue? FromTypeSymbol(ITypeSymbol type)
        {
            if (type.OriginalDefinition.SpecialType == SpecialType.System_Nullable_T)
            {
                var underlyingType = (type as INamedTypeSymbol)?.TypeArguments.FirstOrDefault();
                return underlyingType?.TypeKind switch
                {
                    TypeKind.TypeParameter =>
                        new NullableValueWithDynamicallyAccessedMembers(new TypeProxy(type),
                            new GenericParameterValue((ITypeParameterSymbol)underlyingType)),
                    // typeof(Nullable<>)
                    TypeKind.Error => new SystemTypeValue(new TypeProxy(type)),
                    TypeKind.Class or TypeKind.Enum or TypeKind.Interface or TypeKind.Struct =>
                        new NullableSystemTypeValue(new TypeProxy(type), new SystemTypeValue(new TypeProxy(underlyingType))),
                    _ => UnknownValue.Instance
                };
            }
            return type.Kind switch
            {
                SymbolKind.TypeParameter => new GenericParameterValue((ITypeParameterSymbol)type),
                SymbolKind.NamedType => new SystemTypeValue(new TypeProxy(type)),
                // If the symbol is an Array type, the BaseType is System.Array
                SymbolKind.ArrayType => new SystemTypeValue(new TypeProxy(type.BaseType!)),
                SymbolKind.ErrorType => UnknownValue.Instance,
                _ => null
            };
 
        }
    }
}