// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.

using System.Linq;
using System.Threading;
using System.Threading.Tasks;
using Microsoft.CodeAnalysis.CodeActions;
using Microsoft.CodeAnalysis.CodeRefactorings;
using Microsoft.CodeAnalysis.Shared.Extensions;

namespace Microsoft.CodeAnalysis.ConvertCast;

/// <summary>
/// Refactor:
///     var o = (object)1;
///
/// Into:
///     var o = 1 as object;
///
/// Or vice versa.
/// </summary>
internal abstract class AbstractConvertCastCodeRefactoringProvider<TTypeNode, TFromExpression, TToExpression>
    : CodeRefactoringProvider
    where TTypeNode : SyntaxNode
    where TFromExpression : SyntaxNode
    where TToExpression : SyntaxNode
{
    protected abstract string GetTitle();

    protected abstract int FromKind { get; }
    protected abstract TToExpression ConvertExpression(TFromExpression from, NullableContext nullableContext, bool isReferenceType);
    protected abstract TTypeNode GetTypeNode(TFromExpression from);

    public sealed override async Task ComputeRefactoringsAsync(CodeRefactoringContext context)
    {
        var fromNodes = await context.GetRelevantNodesAsync<TFromExpression>().ConfigureAwait(false);
        var from = fromNodes.FirstOrDefault(n => n.RawKind == FromKind);
        if (from == null)
            return;

        if (from.GetDiagnostics().Any(d => d.DefaultSeverity == DiagnosticSeverity.Error))
            return;

        var (document, _, cancellationToken) = context;

        var typeNode = GetTypeNode(from);
        var semanticModel = await document.GetRequiredSemanticModelAsync(cancellationToken).ConfigureAwait(false);
        var type = semanticModel.GetTypeInfo(typeNode, cancellationToken).Type;
        var nullableContext = semanticModel.GetNullableContext(from.SpanStart);

        if (type is { TypeKind: TypeKind.Error })
            return;

        if (type is { IsReferenceType: true } or { OriginalDefinition.SpecialType: SpecialType.System_Nullable_T })
        {
            var title = GetTitle();
            var isReferenceType = type.IsReferenceType;
            context.RegisterRefactoring(
                CodeAction.Create(
                    title,
                    c => ConvertAsync(document, from, nullableContext, isReferenceType, cancellationToken),
                    title),
                from.Span);
        }
    }

    private async Task<Document> ConvertAsync(
        Document document,
        TFromExpression from,
        NullableContext nullableContext,
        bool isReferenceType,
        CancellationToken cancellationToken)
    {
        var root = await document.GetRequiredSyntaxRootAsync(cancellationToken).ConfigureAwait(false);
        var newRoot = root.ReplaceNode(from, ConvertExpression(from, nullableContext, isReferenceType));
        return document.WithSyntaxRoot(newRoot);
    }
}