LinqToCSharpSyntaxTranslatorTest.cs

// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.

using System.Diagnostics.CodeAnalysis;
using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.CSharp.Syntax;
using Microsoft.CodeAnalysis.Editing;
using Microsoft.EntityFrameworkCore.Design.Internal;
using Microsoft.EntityFrameworkCore.Query.Internal;
using Microsoft.EntityFrameworkCore.SqlServer.Storage.Internal;
using Xunit.Sdk;
using static System.Linq.Expressions.Expression;

#nullable enable

namespace Microsoft.EntityFrameworkCore.Query;

public class LinqToCSharpSyntaxTranslatorTest(ITestOutputHelper testOutputHelper)
{
    [Theory]
    [InlineData("hello", "\"hello\"")]
    [InlineData(1, "1")]
    [InlineData(1L, "1L")]
    [InlineData((short)1, "1")]
    [InlineData((sbyte)1, "1")]
    [InlineData(1U, "1U")]
    [InlineData(1UL, "1UL")]
    [InlineData((ushort)1, "1")]
    [InlineData((byte)1, "1")]
    [InlineData(1.5, "1.5D")]
    [InlineData(1.5F, "1.5F")]
    [InlineData(true, "true")]
    [InlineData(typeof(string), "typeof(string)")]
    public void Constant_values(object constantValue, string literalRepresentation)
        => AssertExpression(Constant(constantValue), literalRepresentation);

    [Fact]
    public void Constant_DateTime_default()
        => AssertExpression(Constant(default(DateTime)), "default(DateTime)");

    [Fact]
    public void Constant_decimal()
        => AssertExpression(Constant(1.5m), "1.5M");

    [Fact]
    public void Constant_null()
        => AssertExpression(Constant(null, typeof(string)), "null");

    [Fact]
    public void Constant_throws_on_unsupported_type()
        => Assert.Throws<NotSupportedException>(() => AssertExpression(Constant(DateTime.Now), ""));

    [Fact]
    public void Enum()
        => AssertExpression(Constant(SomeEnum.One), "LinqToCSharpSyntaxTranslatorTest.SomeEnum.One");

    [Fact]
    public void Enum_with_multiple_values()
        => AssertExpression(Constant(SomeEnum.One | SomeEnum.Two), "LinqToCSharpSyntaxTranslatorTest.SomeEnum.One | LinqToCSharpSyntaxTranslatorTest.SomeEnum.Two");

    [Fact]
    public void Enum_with_unknown_value()
        => AssertExpression(Constant((SomeEnum)1000), "(LinqToCSharpSyntaxTranslatorTest.SomeEnum)1000L");

    [Theory]
    [InlineData(ExpressionType.Add, "+")]
    [InlineData(ExpressionType.Subtract, "-")]
    [InlineData(ExpressionType.Assign, "=")]
    [InlineData(ExpressionType.AddAssign, "+=")]
    [InlineData(ExpressionType.AddAssignChecked, "+=")]
    [InlineData(ExpressionType.MultiplyAssign, "*=")]
    [InlineData(ExpressionType.MultiplyAssignChecked, "*=")]
    [InlineData(ExpressionType.DivideAssign, "/=")]
    [InlineData(ExpressionType.ModuloAssign, "%=")]
    [InlineData(ExpressionType.SubtractAssign, "-=")]
    [InlineData(ExpressionType.SubtractAssignChecked, "-=")]
    [InlineData(ExpressionType.AndAssign, "&=")]
    [InlineData(ExpressionType.OrAssign, "|=")]
    [InlineData(ExpressionType.LeftShiftAssign, "<<=")]
    [InlineData(ExpressionType.RightShiftAssign, ">>=")]
    [InlineData(ExpressionType.ExclusiveOrAssign, "^=")]
    public void Binary_numeric(ExpressionType expressionType, string op)
        => AssertExpression(
            MakeBinary(expressionType, Parameter(typeof(int), "i"), Constant(3)),
            $"i {op} 3");

    [Fact]
    public void Binary_ArrayIndex()
        => AssertExpression(
            ArrayIndex(Parameter(typeof(int[]), "i"), Constant(2)),
            "i[2]");

    [Fact]
    public void Binary_Power()
        => AssertExpression(
            Power(Constant(2.0), Constant(3.0)),
            "Math.Pow(2D, 3D)");

    [Fact]
    public void Binary_PowerAssign()
        => AssertExpression(
            PowerAssign(Parameter(typeof(double), "d"), Constant(3.0)),
            "d = Math.Pow(d, 3D)");

    [Theory]
    [InlineData(ExpressionType.AddAssign, "+=")]
    [InlineData(ExpressionType.MultiplyAssign, "*=")]
    [InlineData(ExpressionType.DivideAssign, "/=")]
    [InlineData(ExpressionType.ModuloAssign, "%=")]
    [InlineData(ExpressionType.SubtractAssign, "-=")]
    [InlineData(ExpressionType.AndAssign, "&=")]
    [InlineData(ExpressionType.OrAssign, "|=")]
    [InlineData(ExpressionType.LeftShiftAssign, "<<=")]
    [InlineData(ExpressionType.RightShiftAssign, ">>=")]
    [InlineData(ExpressionType.ExclusiveOrAssign, "^=")]
    public void Private_instance_field_AssignOperators(ExpressionType expressionType, string op)
        => AssertExpression(
            MakeBinary(
                expressionType,
                Field(Parameter(typeof(Blog), "blog"), "_privateField"),
                Constant(3)),
            $"UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_Blog__privateField_Set(blog) {op} 3",
            unsafeAccessorsAsserter: unsafeAccessors => Assert.Equal(
                """
[UnsafeAccessor(UnsafeAccessorKind.Field, Name = "_privateField")]
private static extern ref int UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_Blog__privateField_Set(LinqToCSharpSyntaxTranslatorTest.Blog instance);
""",
                Assert.Single(unsafeAccessors),
                ignoreLineEndingDifferences: true));

    [Theory]
    [InlineData(ExpressionType.AddAssign, "+=")]
    [InlineData(ExpressionType.MultiplyAssign, "*=")]
    [InlineData(ExpressionType.DivideAssign, "/=")]
    [InlineData(ExpressionType.ModuloAssign, "%=")]
    [InlineData(ExpressionType.SubtractAssign, "-=")]
    [InlineData(ExpressionType.AndAssign, "&=")]
    [InlineData(ExpressionType.OrAssign, "|=")]
    [InlineData(ExpressionType.LeftShiftAssign, "<<=")]
    [InlineData(ExpressionType.RightShiftAssign, ">>=")]
    [InlineData(ExpressionType.ExclusiveOrAssign, "^=")]
    public void Private_instance_field_AssignOperators_with_replacements(ExpressionType expressionType, string op)
        => AssertExpression(
            MakeBinary(
                expressionType,
                Field(Parameter(typeof(Blog), "blog"), "_privateField"),
                Constant(3)),
            $"""AccessPrivateField(blog) {op} Three""", new Dictionary<object, string>() { { 3, "Three" } }, new Dictionary<MemberInfo, QualifiedName>() {
                { BlogPrivateField, new QualifiedName("AccessPrivateField", "") }
            });

    [Theory]
    [InlineData(ExpressionType.Negate, "-i")]
    [InlineData(ExpressionType.NegateChecked, "-i")]
    [InlineData(ExpressionType.Not, "~i")]
    [InlineData(ExpressionType.OnesComplement, "~i")]
    [InlineData(ExpressionType.UnaryPlus, "+i")]
    [InlineData(ExpressionType.Increment, "i + 1")]
    [InlineData(ExpressionType.Decrement, "i - 1")]
    public void Unary_expression_int(ExpressionType expressionType, string expected)
        => AssertExpression(
            MakeUnary(expressionType, Parameter(typeof(int), "i"), typeof(int)),
            expected);

    [Theory]
    [InlineData(ExpressionType.Not, "!b")]
    [InlineData(ExpressionType.IsFalse, "!b")]
    [InlineData(ExpressionType.IsTrue, "b")]
    public void Unary_expression_bool(ExpressionType expressionType, string expected)
        => AssertExpression(
            MakeUnary(expressionType, Parameter(typeof(bool), "b"), typeof(bool)),
            expected);

    [Theory]
    [InlineData(ExpressionType.PostIncrementAssign, "i++")]
    [InlineData(ExpressionType.PostDecrementAssign, "i--")]
    [InlineData(ExpressionType.PreIncrementAssign, "++i")]
    [InlineData(ExpressionType.PreDecrementAssign, "--i")]
    public void Unary_statement(ExpressionType expressionType, string expected)
    {
        var i = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i],
                MakeUnary(expressionType, i, typeof(int))),
            $$"""
{
    int i = default;
    {{expected}};
}
""");
    }

    [Fact]
    public void Unary_ArrayLength()
        => AssertExpression(
            ArrayLength(Parameter(typeof(int[]), "i")),
            "i.Length");

    [Fact]
    public void Unary_Convert()
        => AssertExpression(
            Convert(
                Parameter(typeof(object), "i"),
                typeof(string)),
            "(string)i");

    [Fact]
    public void Unary_Throw()
        => AssertStatement(
            Throw(New(typeof(Exception))),
            "throw new Exception();");

    [Fact]
    public void Unary_Unbox()
        => AssertExpression(
            Unbox(Parameter(typeof(object), "i"), typeof(int)),
            "i");

    [Fact]
    public void Unary_Quote()
        => AssertExpression(
            Quote((Expression<Func<string, int>>)(s => s.Length)),
            "(string s) => s.Length");

    [Fact]
    public void Unary_TypeAs()
        => AssertExpression(
            TypeAs(Parameter(typeof(object), "i"), typeof(string)),
            "i as string");

    [Fact]
    public void Instance_property()
        => AssertExpression(
            Property(
                Constant("hello"),
                typeof(string).GetProperty(nameof(string.Length))!),
            "\"hello\".Length");

    [Fact]
    public void Static_property()
        => AssertExpression(
            Property(
                null,
                typeof(DateTime).GetProperty(nameof(DateTime.Now))!),
            "DateTime.Now");

    [Fact]
    public void Indexer_property()
        => AssertExpression(
            Call(
                New(typeof(List<int>)),
                typeof(List<int>).GetProperties().Single(
                        p => p.GetIndexParameters() is { Length: 1 } indexParameters && indexParameters[0].ParameterType == typeof(int))
                    .GetMethod!,
                Constant(1)), "new List<int>()[1]");

    [Fact]
    public void Private_instance_field_read()
        => AssertExpression(
            Field(
                Parameter(typeof(Blog), "blog"),
                "_privateField"),
            "UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_Blog__privateField_Get(blog)", unsafeAccessorsAsserter: accessors =>
                Assert.Equal(
                    """
[UnsafeAccessor(UnsafeAccessorKind.Field, Name = "_privateField")]
private static extern int UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_Blog__privateField_Get(LinqToCSharpSyntaxTranslatorTest.Blog instance);
""",
                    Assert.Single(accessors),
                    ignoreLineEndingDifferences: true));

    [Fact]
    public void Private_instance_field_write()
        => AssertStatement(
            Assign(
                Field(
                    Parameter(typeof(Blog), "blog"),
                    "_privateField"),
                Constant(8)),
            "UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_Blog__privateField_Set(blog) = 8", unsafeAccessorsAsserter: accessors =>
                Assert.Equal(
                    """
[UnsafeAccessor(UnsafeAccessorKind.Field, Name = "_privateField")]
private static extern ref int UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_Blog__privateField_Set(LinqToCSharpSyntaxTranslatorTest.Blog instance);
""",
                    Assert.Single(accessors),
                    ignoreLineEndingDifferences: true));

    // TODO: Also test accessing private static fields
    // TODO: Also test accessing private properties, instance and static

    [Fact]
    public void Internal_instance_field_read()
        => AssertExpression(
            Field(
                Parameter(typeof(Blog), "blog"),
                "InternalField"),
            "UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_Blog_InternalField_Get(blog)", unsafeAccessorsAsserter: unsafeAccessors => Assert.Equal(
                """
[UnsafeAccessor(UnsafeAccessorKind.Field, Name = "InternalField")]
private static extern int UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_Blog_InternalField_Get(LinqToCSharpSyntaxTranslatorTest.Blog instance);
""",
                Assert.Single(unsafeAccessors),
                ignoreLineEndingDifferences: true));

    [Fact]
    public void Not()
        => AssertExpression(
            Expression.Not(Constant(true)),
            "!true");

    [Fact]
    public void MemberInit_with_MemberAssignment()
        => AssertExpression(
            MemberInit(
                New(
                    typeof(Blog).GetConstructor([typeof(string)])!,
                    Constant("foo")),
                Bind(typeof(Blog).GetProperty(nameof(Blog.PublicProperty))!, Constant(8)),
                Bind(typeof(Blog).GetField(nameof(Blog.PublicField))!, Constant(9))),
            """
new LinqToCSharpSyntaxTranslatorTest.Blog("foo")
{
    PublicProperty = 8,
    PublicField = 9
}
""");

    [Fact]
    public void MemberInit_with_MemberListBinding()
        => AssertExpression(
            MemberInit(
                New(
                    typeof(Blog).GetConstructor([typeof(string)])!,
                    Constant("foo")),
                ListBind(
                    typeof(Blog).GetProperty(nameof(Blog.ListOfInts))!,
                    ElementInit(typeof(List<int>).GetMethod(nameof(List<int>.Add))!, Constant(8)),
                    ElementInit(typeof(List<int>).GetMethod(nameof(List<int>.Add))!, Constant(9)))),
            """
new LinqToCSharpSyntaxTranslatorTest.Blog("foo")
{
    ListOfInts =
    {
        8,
        9
    }
}
""");

    [Fact]
    public void MemberInit_with_MemberMemberBinding()
        => AssertExpression(
            MemberInit(
                New(
                    typeof(Blog).GetConstructor([typeof(string)])!,
                    Constant("foo")),
                MemberBind(
                    typeof(Blog).GetProperty(nameof(Blog.Details))!,
                    Bind(typeof(BlogDetails).GetProperty(nameof(BlogDetails.Foo))!, Constant(5)),
                    ListBind(
                        typeof(BlogDetails).GetProperty(nameof(BlogDetails.ListOfInts))!,
                        ElementInit(typeof(List<int>).GetMethod(nameof(List<int>.Add))!, Constant(8)),
                        ElementInit(typeof(List<int>).GetMethod(nameof(List<int>.Add))!, Constant(9))))),
            """
new LinqToCSharpSyntaxTranslatorTest.Blog("foo")
{
    Details =
    {
        Foo = 5,
        ListOfInts =
        {
            8,
            9
        }
    }
}
""");

    [Fact]
    public void Method_call_instance()
    {
        var blog = Parameter(typeof(Blog), "blog");

        AssertStatement(
            Block(
                variables: [blog],
                Assign(blog, New(Blog.Constructor)),
                Call(
                    blog,
                    typeof(Blog).GetMethod(nameof(Blog.SomeInstanceMethod))!)),
            """
{
    var blog = new LinqToCSharpSyntaxTranslatorTest.Blog();
    blog.SomeInstanceMethod();
}
""");
    }

    [Fact]
    public void Method_call_static()
        => AssertExpression(
            Call(ReturnsIntWithParamMethod, Constant(8)),
            "LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(8)");

    [Fact]
    public void Method_call_static_on_nested_type()
        => AssertExpression(
            Call(typeof(Blog).GetMethod(nameof(Blog.Static_method_on_nested_type))!),
            "LinqToCSharpSyntaxTranslatorTest.Blog.Static_method_on_nested_type()");

    [Fact]
    public void Method_call_extension()
    {
        var blog = Parameter(typeof(LinqExpressionToRoslynTranslatorExtensionType), "someType");

        AssertStatement(
            Block(
                variables: [blog],
                Assign(blog, New(LinqExpressionToRoslynTranslatorExtensionType.Constructor)),
                Call(LinqExpressionToRoslynTranslatorExtensions.SomeExtensionMethod, blog)),
            """
{
    var someType = new LinqExpressionToRoslynTranslatorExtensionType();
    someType.SomeExtension();
}
""");
    }

    [Fact]
    public void Method_call_extension_with_null_this()
        => AssertExpression(
            Call(
                LinqExpressionToRoslynTranslatorExtensions.SomeExtensionMethod,
                Constant(null, typeof(LinqExpressionToRoslynTranslatorExtensionType))),
            "LinqExpressionToRoslynTranslatorExtensions.SomeExtension(null)");

    [Fact]
    public void Method_call_generic()
    {
        var blog = Parameter(typeof(Blog), "blog");

        AssertStatement(
            Block(
                variables: [blog],
                Assign(blog, New(Blog.Constructor)),
                Call(
                    GenericMethod.MakeGenericMethod(typeof(Blog)),
                    blog)),
            """
{
    var blog = new LinqToCSharpSyntaxTranslatorTest.Blog();
    LinqToCSharpSyntaxTranslatorTest.GenericMethodImplementation(blog);
}
""");
    }

    [Fact]
    public void Method_call_namespace_is_collected()
    {
        var (translator, _) = CreateTranslator();
        var namespaces = new HashSet<string>();
        _ = translator.TranslateExpression(Call(FooMethod), null, namespaces, new HashSet<MethodDeclarationSyntax>());
        Assert.Collection(
            namespaces,
            ns => Assert.Equal(typeof(LinqToCSharpSyntaxTranslatorTest).Namespace, ns));
    }

    [Fact]
    public void Method_call_with_in_out_ref_parameters()
    {
        var inParam = Parameter(typeof(int), "inParam");
        var outParam = Parameter(typeof(int), "outParam");
        var refParam = Parameter(typeof(int), "refParam");

        AssertStatement(
            Block(
                variables: [inParam, outParam, refParam],
                Call(WithInOutRefParameterMethod, [inParam, outParam, refParam])),
            """
{
    int inParam = default;
    int outParam = default;
    int refParam = default;
    LinqToCSharpSyntaxTranslatorTest.WithInOutRefParameter(in inParam, out outParam, ref refParam);
}
""");
    }

    [Fact]
    public void Instantiation()
        => AssertExpression(
            New(
                typeof(Blog).GetConstructor([typeof(string)])!,
                Constant("foo")),
            """new LinqToCSharpSyntaxTranslatorTest.Blog("foo")""");

    [Fact]
    public void Instantiation_with_required_properties_and_parameterless_constructor()
        => AssertExpression(
            New(typeof(BlogWithRequiredProperties).GetConstructor([])!),
            "UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_BlogWithRequiredProperties_Ctor()",
            unsafeAccessorsAsserter: unsafeAccessors => Assert.Equal(
                """
[UnsafeAccessor(UnsafeAccessorKind.Constructor)]
private static extern LinqToCSharpSyntaxTranslatorTest.BlogWithRequiredProperties UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_BlogWithRequiredProperties_Ctor();
""",
                Assert.Single(unsafeAccessors),
                ignoreLineEndingDifferences: true));

//         => AssertExpression(
//             New(typeof(BlogWithRequiredProperties).GetConstructor([])!),
//             """
// Activator.CreateInstance<LinqToCSharpSyntaxTranslatorTest.BlogWithRequiredProperties>()
// """);

    [Fact]
    public void Instantiation_with_required_properties_and_non_parameterless_constructor()
        => AssertExpression(
            New(
                typeof(BlogWithRequiredProperties).GetConstructor([typeof(string)])!,
                Constant("foo")),
            """UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_BlogWithRequiredProperties_Ctor("foo")""",
            unsafeAccessorsAsserter: unsafeAccessors => Assert.Equal(
                """
[UnsafeAccessor(UnsafeAccessorKind.Constructor)]
private static extern LinqToCSharpSyntaxTranslatorTest.BlogWithRequiredProperties UnsafeAccessor_Microsoft_EntityFrameworkCore_Query_BlogWithRequiredProperties_Ctor(string name);
""",
                Assert.Single(unsafeAccessors),
                ignoreLineEndingDifferences: true));

    [Fact]
    public void Instantiation_with_required_properties_with_SetsRequiredMembers()
        => AssertExpression(
            New(
                typeof(BlogWithRequiredProperties).GetConstructor([typeof(string), typeof(int)])!,
                Constant("foo"), Constant(8)),
            """new LinqToCSharpSyntaxTranslatorTest.BlogWithRequiredProperties("foo", 8)""");

    [Fact]
    public void Lambda_with_expression_body()
        => AssertExpression(
            Lambda<Func<bool>>(Constant(true)),
            "() => true");

    [Fact]
    public void Lambda_with_block_body()
    {
        var i = Parameter(typeof(int), "i");

        AssertExpression(
            Lambda<Func<int>>(
                Block(
                    variables: [i],
                    Assign(i, Constant(8)),
                    i)),
            """
() =>
{
    var i = 8;
    return i;
}
""");
    }

    [Fact]
    public void Lambda_with_no_parameters()
        => AssertExpression(
            Lambda<Func<bool>>(Constant(true)),
            "() => true");

    [Fact]
    public void Lambda_with_one_parameter()
    {
        var i = Parameter(typeof(int), "i");

        AssertExpression(
            Lambda<Func<int, bool>>(Constant(true), i),
            "(int i) => true");
    }

    [Fact]
    public void Lambda_with_two_parameters()
    {
        var i = Parameter(typeof(int), "i");
        var j = Parameter(typeof(int), "j");

        AssertExpression(
            Lambda<Func<int, int, int>>(Add(i, j), i, j),
            "(int i, int j) => i + j");
    }

    [Fact]
    public void Invocation_with_literal_argument()
        => AssertExpression(
            AndAlso(
                Constant(true),
                Invoke((Expression<Func<int, bool>>)(f => f > 5), Constant(8))),
            "true && 8 > 5");

    [Fact]
    public void Invocation_with_argument_that_has_side_effects()
    {
        var i = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i,
                    Add(
                        Constant(5),
                        Invoke((Expression<Func<int, int>>)(f => f + f), Call(FooMethod))))),
            """
{
    var f = LinqToCSharpSyntaxTranslatorTest.Foo();
    var i = 5 + f + f;
}
""");
    }

    [Fact]
    public void Invocation_with_property_argument()
        => AssertExpression(
            Invoke(
                Property(
                    expression: null,
                    typeof(LinqToCSharpSyntaxTranslatorTest).GetProperty(
                        nameof(LambdaExpressionProperty), BindingFlags.Public | BindingFlags.Static)!),
                Constant(8)),
            "LinqToCSharpSyntaxTranslatorTest.LambdaExpressionProperty(8)");

    [Fact]
    public void Conditional_expression()
        => AssertExpression(
            Condition(Constant(true), Constant(1), Constant(2)),
            "true ? 1 : 2");

    [Fact]
    public void Conditional_without_false_value_fails()
        => Assert.Throws<NotSupportedException>(
            () => AssertExpression(
                IfThen(Constant(true), Constant(8)),
                "true ? 1 : 2"));

    [Fact]
    public void Conditional_statement()
        => AssertStatement(
            Block(
                Condition(Constant(true), Call(FooMethod), Call(BarMethod)),
                Constant(8)),
            """
{
    if (true)
    {
        LinqToCSharpSyntaxTranslatorTest.Foo();
    }
    else
    {
        LinqToCSharpSyntaxTranslatorTest.Bar();
    }
}
""");

    [Fact]
    public void IfThen_statement()
    {
        var parameter = Parameter(typeof(int), "i");
        var block = Block(
            variables: [parameter],
            expressions: Assign(parameter, Constant(8)));

        AssertStatement(
            Block(IfThen(Constant(true), block)),
            """
{
    if (true)
    {
        var i = 8;
    }
}
""");
    }

    [Fact]
    public void IfThenElse_statement()
    {
        var parameter1 = Parameter(typeof(int), "i");
        var block1 = Block(
            variables: [parameter1],
            expressions: Assign(parameter1, Constant(8)));

        var parameter2 = Parameter(typeof(int), "j");
        var block2 = Block(
            variables: [parameter2],
            expressions: Assign(parameter2, Constant(9)));

        AssertStatement(
            Block(IfThenElse(Constant(true), block1, block2)),
            """
{
    if (true)
    {
        var i = 8;
    }
    else
    {
        var j = 9;
    }
}
""");
    }

    [Fact]
    public void IfThenElse_nested()
    {
        var variable = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [variable],
                expressions: IfThenElse(
                    Constant(true),
                    Block(Assign(variable, Constant(1))),
                    IfThenElse(
                        Constant(false),
                        Block(Assign(variable, Constant(2))),
                        Block(Assign(variable, Constant(3)))))),
            """
{
    int i = default;
    if (true)
    {
        i = 1;
    }
    else if (false)
    {
        i = 2;
    }
    else
    {
        i = 3;
    }
}
""");
    }

    [Fact]
    public void Conditional_expression_with_block_in_lambda()
        => AssertExpression(
            Lambda<Func<int>>(
                Condition(
                    Constant(true),
                    Block(
                        Call(FooMethod),
                        Constant(8)),
                    Constant(9))),
            """
() =>
{
    if (true)
    {
        LinqToCSharpSyntaxTranslatorTest.Foo();
        return 8;
    }
    else
    {
        return 9;
    }
}
""");

    [Fact]
    public void IfThen_with_block_inside_expression_block_with_lifted_statements()
    {
        var i = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i, Block(
                        // We're in expression context. Do anything that will get lifted.
                        Call(FooMethod),
                        // Statement condition
                        IfThen(
                            Constant(true),
                            Block(
                                Call(BarMethod),
                                Call(BazMethod))),
                        // Last expression (to make the block above evaluate as statement
                        Constant(8)))),
            """
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
    if (true)
    {
        LinqToCSharpSyntaxTranslatorTest.Bar();
        LinqToCSharpSyntaxTranslatorTest.Baz();
    }

    var i = 8;
}
""");
    }

    [Fact]
    public void Switch_expression()
        => AssertExpression(
            Switch(
                Constant(8),
                Constant(0),
                SwitchCase(Constant(-9), Constant(9)),
                SwitchCase(Constant(-10), Constant(10))),
            """
8 switch
{
    9 => -9,
    10 => -10,
    _ => 0
}
""");

    [Fact]
    public void Switch_expression_nested()
    {
        var i = Parameter(typeof(int), "i");
        var j = Parameter(typeof(int), "j");
        var k = Parameter(typeof(int), "k");

        AssertStatement(
            Block(
                variables: [i, j, k],
                Assign(j, Constant(8)),
                Assign(
                    i,
                    Switch(
                        j,
                        defaultBody: Constant(0),
                        SwitchCase(Constant(1), Constant(100)),
                        SwitchCase(
                            Switch(
                                k,
                                defaultBody: Constant(0),
                                SwitchCase(Constant(2), Constant(200)),
                                SwitchCase(Constant(3), Constant(300))),
                            Constant(200))))),
            """
{
    int k = default;
    var j = 8;
    var i = j switch
    {
        100 => 1,
        200 => k switch
        {
            200 => 2,
            300 => 3,
            _ => 0
        },
        _ => 0
    };
}
""");
    }

    [Fact]
    public void Switch_expression_non_constant_arm()
        => AssertExpression(
            Switch(
                Parameter(typeof(Blog), "blog1"),
                Constant(0),
                SwitchCase(Constant(2), Parameter(typeof(Blog), "blog2")),
                SwitchCase(Constant(3), Parameter(typeof(Blog), "blog3"))),
            "blog1 == blog2 ? 2 : blog1 == blog3 ? 3 : 0");

    [Fact]
    public void Switch_statement_with_non_constant_label()
        => AssertStatement(
            Switch(
                Parameter(typeof(Blog), "blog1"),
                Constant(0),
                SwitchCase(Constant(2), Parameter(typeof(Blog), "blog2")),
                SwitchCase(Constant(3), Parameter(typeof(Blog), "blog3"))),
            """
if (blog1 == blog2)
{
    2;
}
else if (blog1 == blog3)
{
    3;
}
else
{
    0;
}
""");

    [Fact]
    public void Switch_statement_without_default()
    {
        var parameter = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [parameter],
                expressions: Switch(
                    Constant(7),
                    SwitchCase(Block(typeof(void), Assign(parameter, Constant(9))), Constant(-9)),
                    SwitchCase(Block(typeof(void), Assign(parameter, Constant(10))), Constant(-10)))),
            """
{
    int i = default;
    switch (7)
    {
        case -9:
        {
            i = 9;
            break;
        }

        case -10:
        {
            i = 10;
            break;
        }
    }
}
""");
    }

    [Fact]
    public void Switch_statement_with_default()
    {
        var parameter = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [parameter],
                expressions: Switch(
                    Constant(7),
                    Assign(parameter, Constant(0)),
                    SwitchCase(Assign(parameter, Constant(9)), Constant(-9)),
                    SwitchCase(Assign(parameter, Constant(10)), Constant(-10)))),
            """
{
    int i = default;
    switch (7)
    {
        case -9:
            i = 9;
            break;
        case -10:
            i = 10;
            break;
        default:
            i = 0;
            break;
    }
}
""");
    }

    [Fact]
    public void Switch_statement_with_multiple_labels()
    {
        var parameter = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [parameter],
                expressions: Switch(
                    Constant(7),
                    Assign(parameter, Constant(0)),
                    SwitchCase(Assign(parameter, Constant(9)), Constant(-9), Constant(-8)),
                    SwitchCase(Assign(parameter, Constant(10)), Constant(-10)))),
            """
{
    int i = default;
    switch (7)
    {
        case -9:
        case -8:
            i = 9;
            break;
        case -10:
            i = 10;
            break;
        default:
            i = 0;
            break;
    }
}
""");
    }

    [Fact]
    public void Variable_assignment_uses_var()
    {
        var i = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i],
                Assign(i, Constant(8))),
            """
{
    var i = 8;
}
""");
    }

    [Fact]
    public void Variable_assignment_to_null_does_not_use_var()
    {
        var s = Parameter(typeof(string), "s");

        AssertStatement(
            Block(
                variables: [s],
                Assign(s, Constant(null, typeof(string)))),
            """
{
    string s = null;
}
""");
    }

    [Fact]
    public void Variables_with_same_name_in_sibling_blocks_do_not_get_renamed()
    {
        var i1 = Parameter(typeof(int), "i");
        var i2 = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                Block(
                    variables: [i1],
                    Assign(i1, Constant(8)),
                    Call(ReturnsIntWithParamMethod, i1)),
                Block(
                    variables: [i2],
                    Assign(i2, Constant(8)),
                    Call(ReturnsIntWithParamMethod, i2))),
            """
{
    {
        var i = 8;
        LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(i);
    }

    {
        var i = 8;
        LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(i);
    }
}
""");
    }

    [Fact]
    public void Variable_with_same_name_in_child_block_gets_renamed()
    {
        var i1 = Parameter(typeof(int), "i");
        var i2 = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i1],
                Assign(i1, Constant(8)),
                Call(ReturnsIntWithParamMethod, i1),
                Block(
                    variables: [i2],
                    Assign(i2, Constant(8)),
                    Call(ReturnsIntWithParamMethod, i2),
                    Call(ReturnsIntWithParamMethod, i1))),
            """
{
    var i = 8;
    LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(i);
    {
        var i0 = 8;
        LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(i0);
        LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(i);
    }
}
""");
    }

    [Fact]
    public void Variable_with_same_name_in_lambda_does_not_get_renamed()
    {
        var i1 = Parameter(typeof(int), "i");
        var i2 = Parameter(typeof(int), "i");
        var f = Parameter(typeof(Func<int, bool>), "f");

        AssertStatement(
            Block(
                variables: [i1],
                Assign(i1, Constant(8)),
                Assign(
                    f, Lambda<Func<int, bool>>(
                        Equal(i2, Constant(5)),
                        i2))),
            """
{
    var i = 8;
    f = (int i) => i == 5;
}
""");
    }

    [Fact]
    public void Same_parameter_instance_is_used_twice_in_nested_lambdas()
    {
        var f1 = Parameter(typeof(Func<int, bool>), "f1");
        var f2 = Parameter(typeof(Func<int, bool>), "f2");
        var i = Parameter(typeof(int), "i");

        AssertExpression(
            Assign(
                f1,
                Lambda<Func<int, bool>>(
                    Block(
                        Assign(
                            f2,
                            Lambda<Func<int, bool>>(
                                Equal(i, Constant(5)),
                                i)),
                        Constant(true)),
                    i)),
            """
f1 = (int i) =>
{
    f2 = (int i) => i == 5;
    return true;
}
""");
    }

    [Fact]
    public void Block_with_non_standalone_expression_as_statement()
        => AssertStatement(Block(Add(Constant(1), Constant(2))),
            """
{
    _ = 1 + 2;
}
""");

    [Fact]
    public void Lift_block_in_assignment_context()
    {
        var i = Parameter(typeof(int), "i");
        var j = Parameter(typeof(int), "j");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i, Block(
                        variables: [j],
                        Assign(j, Call(FooMethod)),
                        Call(ReturnsIntWithParamMethod, j)))),
            """
{
    var j = LinqToCSharpSyntaxTranslatorTest.Foo();
    var i = LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(j);
}
""");
    }

    [Fact]
    public void Lift_block_in_method_call_context()
        => AssertStatement(
            Block(
                Call(
                    ReturnsIntWithParamMethod,
                    Block(
                        Call(FooMethod),
                        Call(BarMethod)))),
            """
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
    LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(LinqToCSharpSyntaxTranslatorTest.Bar());
}
""");

    [Fact]
    public void Lift_nested_block()
    {
        var i = Parameter(typeof(int), "i");
        var j = Parameter(typeof(int), "j");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i,
                    Block(
                        variables: [j],
                        Assign(j, Call(FooMethod)),
                        Block(
                            Call(BarMethod),
                            Call(ReturnsIntWithParamMethod, j))))),
            """
{
    var j = LinqToCSharpSyntaxTranslatorTest.Foo();
    LinqToCSharpSyntaxTranslatorTest.Bar();
    var i = LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(j);
}
""");
    }

    [Fact]
    public void Binary_lifts_left_side_if_right_is_lifted()
    {
        var i = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i,
                    Add(
                        Call(FooMethod),
                        Block(
                            Call(BarMethod),
                            Call(BazMethod))))),
            """
{
    var lifted = LinqToCSharpSyntaxTranslatorTest.Foo();
    LinqToCSharpSyntaxTranslatorTest.Bar();
    var i = lifted + LinqToCSharpSyntaxTranslatorTest.Baz();
}
""");
    }

    [Fact]
    public void Binary_does_not_lift_left_side_if_it_has_no_side_effects()
    {
        var i = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i,
                    Add(
                        Constant(5),
                        Block(
                            Call(BarMethod),
                            Call(BazMethod))))),
            """
{
    LinqToCSharpSyntaxTranslatorTest.Bar();
    var i = 5 + LinqToCSharpSyntaxTranslatorTest.Baz();
}
""");
    }

    [Fact]
    public void Method_lifts_earlier_args_if_later_arg_is_lifted()
    {
        var i = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i,
                    Call(
                        typeof(LinqToCSharpSyntaxTranslatorTest).GetMethod(nameof(MethodWithSixParams))!,
                        Call(FooMethod),
                        Constant(5),
                        Block(Call(BarMethod), Call(BazMethod)),
                        Call(FooMethod),
                        Block(Call(BazMethod), Call(BarMethod)),
                        Call(FooMethod)))),
            """
{
    var liftedArg = LinqToCSharpSyntaxTranslatorTest.Foo();
    LinqToCSharpSyntaxTranslatorTest.Bar();
    var liftedArg0 = LinqToCSharpSyntaxTranslatorTest.Baz();
    var liftedArg1 = LinqToCSharpSyntaxTranslatorTest.Foo();
    LinqToCSharpSyntaxTranslatorTest.Baz();
    var i = LinqToCSharpSyntaxTranslatorTest.MethodWithSixParams(liftedArg, 5, liftedArg0, liftedArg1, LinqToCSharpSyntaxTranslatorTest.Bar(), LinqToCSharpSyntaxTranslatorTest.Foo());
}
""");
    }

    [Fact]
    public void New_lifts_earlier_args_if_later_arg_is_lifted()
    {
        var b = Parameter(typeof(Blog), "b");

        AssertStatement(
            Block(
                variables: [b],
                Assign(
                    b,
                    New(
                        typeof(Blog).GetConstructor([typeof(int), typeof(int)])!,
                        Call(FooMethod),
                        Block(
                            Call(BarMethod),
                            Call(BazMethod))))),
            """
{
    var liftedArg = LinqToCSharpSyntaxTranslatorTest.Foo();
    LinqToCSharpSyntaxTranslatorTest.Bar();
    var b = new LinqToCSharpSyntaxTranslatorTest.Blog(liftedArg, LinqToCSharpSyntaxTranslatorTest.Baz());
}
""");
    }

    [Fact]
    public void Index_lifts_earlier_args_if_later_arg_is_lifted()
    {
        // TODO: Implement
    }

    [Fact]
    public void New_array()
        => AssertExpression(
            NewArrayInit(typeof(int)),
            """
new int[]
{
}
""");

    [Fact]
    public void New_array_with_bounds()
        => AssertExpression(
            NewArrayBounds(typeof(int), Constant(3)),
            "new int[3]");

    [Fact]
    public void New_array_with_initializers()
        => AssertExpression(
            NewArrayInit(typeof(int), Constant(3), Constant(4)),
            """
new int[]
{
    3,
    4
}
""");

    [Fact]
    public void New_array_lifts_earlier_args_if_later_arg_is_lifted()
    {
        var a = Parameter(typeof(int[]), "a");

        // a = new[] { Foo(), { Bar(); Baz(); } }
        AssertStatement(
            Block(
                variables: [a],
                Assign(
                    a,
                    NewArrayInit(
                        typeof(int),
                        Call(FooMethod),
                        Block(
                            Call(BarMethod),
                            Call(BazMethod))))),
            """
{
    var liftedArg = LinqToCSharpSyntaxTranslatorTest.Foo();
    LinqToCSharpSyntaxTranslatorTest.Bar();
    var a = new int[]
    {
        liftedArg,
        LinqToCSharpSyntaxTranslatorTest.Baz()
    };
}
""");
    }

    [Fact]
    public void Lift_variable_in_expression_block()
    {
        var i = Parameter(typeof(int), "i");
        var j = Parameter(typeof(int), "j");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i, Block(
                        variables: [j],
                        Block(
                            Call(FooMethod),
                            Assign(j, Constant(8)),
                            Constant(9))))),
            """
{
    int j = default;
    LinqToCSharpSyntaxTranslatorTest.Foo();
    j = 8;
    var i = 9;
}
""");
    }

    [Fact]
    public void Lift_block_in_lambda_body_expression()
        => AssertExpression(
            Lambda<Func<int>>(
                Call(
                    ReturnsIntWithParamMethod,
                    Block(
                        Call(FooMethod),
                        Call(BarMethod))),
                []),
            """
() =>
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
    return LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(LinqToCSharpSyntaxTranslatorTest.Bar());
}
""");

    [Fact]
    public void Do_not_lift_block_in_lambda_body()
        => AssertExpression(
            Lambda<Func<int>>(
                Block(Block(Constant(8))),
                []),
            """
() =>
{
    {
        return 8;
    }
}
""");

    [Fact]
    public void Simplify_block_with_single_expression()
        => AssertExpression(
            Assign(Parameter(typeof(int), "i"), Block(Constant(8))),
            "i = 8");

    [Fact]
    public void Cannot_lift_out_of_expression_context()
        => Assert.Throws<NotSupportedException>(
            () => AssertExpression(
                Assign(
                    Parameter(typeof(int), "i"),
                    Block(
                        Call(FooMethod),
                        Constant(8))),
                ""));

    [Fact]
    public void Lift_switch_expression()
    {
        var i = Parameter(typeof(int), "i");
        var j = Parameter(typeof(int), "j");
        var k = Parameter(typeof(int), "k");

        AssertStatement(
            Block(
                variables: [i, j],
                Assign(j, Constant(8)),
                Assign(
                    i,
                    Switch(
                        j,
                        defaultBody: Block(Constant(0)),
                        SwitchCase(
                            Block(
                                Block(
                                    Assign(k, Call(FooMethod)),
                                    Call(ReturnsIntWithParamMethod, k))),
                            Constant(8)),
                        SwitchCase(Constant(2), Constant(9))))),
            """
{
    int i = default;
    var j = 8;
    switch (j)
    {
        case 8:
        {
            k = LinqToCSharpSyntaxTranslatorTest.Foo();
            i = LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(k);
            break;
        }

        case 9:
            i = 2;
            break;
        default:
            i = 0;
            break;
    }
}
""");
    }

    [Fact]
    public void Lift_nested_switch_expression()
    {
        var i = Parameter(typeof(int), "i");
        var j = Parameter(typeof(int), "j");
        var k = Parameter(typeof(int), "k");
        var l = Parameter(typeof(int), "l");

        AssertStatement(
            Block(
                variables: [i, j, k],
                Assign(j, Constant(8)),
                Assign(
                    i,
                    Switch(
                        j,
                        defaultBody: Constant(0),
                        SwitchCase(Constant(1), Constant(100)),
                        SwitchCase(
                            Switch(
                                k,
                                defaultBody: Constant(0),
                                SwitchCase(
                                    Block(
                                        variables: [l],
                                        Assign(l, Call(FooMethod)),
                                        Call(ReturnsIntWithParamMethod, l)),
                                    Constant(200)),
                                SwitchCase(Constant(3), Constant(300))),
                            Constant(200))))),
            """
{
    int i = default;
    int k = default;
    var j = 8;
    switch (j)
    {
        case 100:
            i = 1;
            break;
        case 200:
        {
            switch (k)
            {
                case 200:
                {
                    var l = LinqToCSharpSyntaxTranslatorTest.Foo();
                    i = LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(l);
                    break;
                }

                case 300:
                    i = 3;
                    break;
                default:
                    i = 0;
                    break;
            }

            break;
        }

        default:
            i = 0;
            break;
    }
}
""");
    }

    [Fact]
    public void Lift_non_literal_switch_expression()
    {
        var i = Parameter(typeof(int), "i");

        AssertStatement(
            Block(
                variables: [i],
                Assign(
                    i,
                    Switch(
                        Parameter(typeof(Blog), "blog1"),
                        defaultBody: Block(Constant(0)),
                        SwitchCase(
                            Block(
                                Call(ReturnsIntWithParamMethod, Constant(8)),
                                Constant(1)),
                            Parameter(typeof(Blog), "blog2")),
                        SwitchCase(
                            Block(
                                Call(ReturnsIntWithParamMethod, Constant(9)),
                                Constant(2)),
                            Parameter(typeof(Blog), "blog3")),
                        SwitchCase(Constant(3), Parameter(typeof(Blog), "blog4"))))),
            """
{
    int i = default;
    if (blog1 == blog2)
    {
        LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(8);
        i = 1;
    }
    else
    {
        if (blog1 == blog3)
        {
            LinqToCSharpSyntaxTranslatorTest.ReturnsIntWithParam(9);
            i = 2;
        }
        else
        {
            i = blog1 == blog4 ? 3 : 0;
        }
    }
}
""");
    }

    [Fact]
    public void ListInit_node()
        => AssertExpression(
            ListInit(
                New(typeof(List<int>)),
                typeof(List<int>).GetMethod(nameof(List<int>.Add))!,
                Constant(8),
                Constant(9)),
            """
new List<int>()
{
    8,
    9
}
""");

    [Fact]
    public void TypeEqual_node()
        => AssertExpression(
            TypeEqual(Parameter(typeof(object), "p"), typeof(int)),
            "p == typeof(int)");

    [Fact]
    public void TypeIs_node()
        => AssertExpression(
            TypeIs(Parameter(typeof(object), "p"), typeof(int)),
            "p is int");

    [Fact]
    public void Goto_with_named_label()
    {
        var labelTarget = Label("label1");

        AssertStatement(
            Block(
                Goto(labelTarget),
                Label(labelTarget),
                Call(FooMethod)),
            """
{
    goto label1;
    label1:
        LinqToCSharpSyntaxTranslatorTest.Foo();
}
""");
    }

    [Fact]
    public void Goto_with_label_on_last_line()
    {
        var labelTarget = Label("label1");

        AssertStatement(
            Block(
                Goto(labelTarget),
                Label(labelTarget)),
            """
{
    goto label1;
    label1:
        ;
}
""");
    }

    [Fact]
    public void Goto_outside_label()
    {
        var labelTarget = Label();

        AssertStatement(
            Block(
                IfThen(
                    Constant(true),
                    Block(
                        Call(FooMethod),
                        Goto(labelTarget))),
                Label(labelTarget)),
            """
{
    if (true)
    {
        LinqToCSharpSyntaxTranslatorTest.Foo();
        goto unnamedLabel;
    }

    unnamedLabel:
        ;
}
""");
    }

    [Fact]
    public void Goto_with_unnamed_labels_in_sibling_blocks()
    {
        var labelTarget1 = Label();
        var labelTarget2 = Label();

        AssertStatement(
            Block(
                Block(
                    Goto(labelTarget1),
                    Label(labelTarget1)),
                Block(
                    Goto(labelTarget2),
                    Label(labelTarget2))),
            """
{
    {
        goto unnamedLabel;
        unnamedLabel:
            ;
    }

    {
        goto unnamedLabel;
        unnamedLabel:
            ;
    }
}
""");
    }

    [Fact]
    public void Loop_statement_infinite()
        => AssertStatement(
            Loop(Call(FooMethod)),
            """
while (true)
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
}
""");

    [Fact]
    public void Loop_statement_with_break_and_continue()
    {
        var i = Parameter(typeof(int), "i");
        var breakLabel = Label();
        var continueLabel = Label();

        AssertStatement(
            Block(
                variables: [i],
                Assign(i, Constant(0)),
                Loop(
                    Block(
                        IfThen(
                            Equal(i, Constant(100)),
                            Break(breakLabel)),
                        IfThen(
                            Equal(Modulo(i, Constant(2)), Constant(0)),
                            Continue(continueLabel)),
                        PostIncrementAssign(i)),
                    breakLabel,
                    continueLabel)),
            """
{
    var i = 0;
    {
        while (true)
        {
            unnamedLabel0:
                if (i == 100)
                {
                    goto unnamedLabel;
                }

            if (i % 2 == 0)
            {
                goto unnamedLabel0;
            }

            i++;
        }

        unnamedLabel:
            ;
    }
}
""");
    }

    [Fact]
    public void Try_catch_statement()
    {
        var e = Parameter(typeof(InvalidOperationException), "e");

        AssertStatement(
            TryCatch(
                Call(FooMethod),
                Catch(e, Call(BarMethod)),
                Catch(e, Call(BazMethod))),
            """
try
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
}
catch (InvalidOperationException e)
{
    LinqToCSharpSyntaxTranslatorTest.Bar();
}
catch (InvalidOperationException e)
{
    LinqToCSharpSyntaxTranslatorTest.Baz();
}
""");
    }

    [Fact]
    public void Try_finally_statement()
        => AssertStatement(
            TryFinally(
                Call(FooMethod),
                Call(BarMethod)),
            """
try
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
}
finally
{
    LinqToCSharpSyntaxTranslatorTest.Bar();
}
""");

    [Fact]
    public void Try_catch_finally_statement()
    {
        var e = Parameter(typeof(InvalidOperationException), "e");

        AssertStatement(
            TryCatchFinally(
                Call(FooMethod),
                Block(
                    Call(BarMethod),
                    Call(BazMethod)),
                Catch(e, Call(BarMethod)),
                Catch(
                    e,
                    Call(BazMethod),
                    Equal(
                        Property(e, nameof(Exception.Message)),
                        Constant("foo")))),
            """
try
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
}
catch (InvalidOperationException e)
{
    LinqToCSharpSyntaxTranslatorTest.Bar();
}
catch (InvalidOperationException e)when (e.Message == "foo")
{
    LinqToCSharpSyntaxTranslatorTest.Baz();
}
finally
{
    LinqToCSharpSyntaxTranslatorTest.Bar();
    LinqToCSharpSyntaxTranslatorTest.Baz();
}
""");
    }

    [Fact]
    public void Try_catch_statement_with_filter()
    {
        var e = Parameter(typeof(InvalidOperationException), "e");

        AssertStatement(
            TryCatch(
                Call(FooMethod),
                Catch(
                    e,
                    Call(BarMethod),
                    Equal(
                        Property(e, nameof(Exception.Message)),
                        Constant("foo")))),
            """
try
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
}
catch (InvalidOperationException e)when (e.Message == "foo")
{
    LinqToCSharpSyntaxTranslatorTest.Bar();
}
""");
    }

    [Fact]
    public void Try_catch_statement_without_exception_reference()
        => AssertStatement(
            TryCatch(
                Call(FooMethod),
                Catch(
                    typeof(InvalidOperationException),
                    Call(BarMethod))),
            """
try
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
}
catch (InvalidOperationException)
{
    LinqToCSharpSyntaxTranslatorTest.Bar();
}
""");

    [Fact]
    public void Try_fault_statement()
        => AssertStatement(
            TryFault(
                Call(FooMethod),
                Call(BarMethod)),
            """
try
{
    LinqToCSharpSyntaxTranslatorTest.Foo();
}
catch
{
    LinqToCSharpSyntaxTranslatorTest.Bar();
}
""");

    // TODO: try/catch expressions

    private void AssertStatement(
        Expression expression,
        string expected,
        Dictionary<object, string>? constantReplacements = null,
        Dictionary<MemberInfo, QualifiedName>? memberAccessReplacements = null,
        Action<IReadOnlySet<string>>? unsafeAccessorsAsserter = null)
        => AssertCore(expected, isStatement: true, expression, constantReplacements, memberAccessReplacements, unsafeAccessorsAsserter);

    private void AssertExpression(
        Expression expression,
        string expected,
        Dictionary<object, string>? constantReplacements = null,
        Dictionary<MemberInfo, QualifiedName>? memberAccessReplacements = null,
        Action<IReadOnlySet<string>>? unsafeAccessorsAsserter = null)
        => AssertCore(expected, isStatement: false, expression, constantReplacements, memberAccessReplacements, unsafeAccessorsAsserter);

    private void AssertCore(
        string expected,
        bool isStatement,
        Expression expression,
        Dictionary<object, string>? constantReplacements,
        Dictionary<MemberInfo, QualifiedName>? memberAccessReplacements,
        Action<IReadOnlySet<string>>? unsafeAccessorsAsserter)
    {
        var typeMappingSource = new SqlServerTypeMappingSource(
            TestServiceFactory.Instance.Create<TypeMappingSourceDependencies>(),
            new RelationalTypeMappingSourceDependencies([]));

        var translator = new CSharpHelper(typeMappingSource);
        var namespaces = new HashSet<string>();
        var unsafeAccessors = new HashSet<string>();
        var actual = isStatement
            ? translator.Statement(expression, namespaces, unsafeAccessors, constantReplacements, memberAccessReplacements)
            : translator.Expression(expression, namespaces, unsafeAccessors, constantReplacements, memberAccessReplacements);

        if (_outputExpressionTrees)
        {
            testOutputHelper.WriteLine("---- Input LINQ expression tree:");
            testOutputHelper.WriteLine(_expressionPrinter.PrintExpression(expression));
        }

        // TODO: Actually compile the output C# code to make sure it's valid.
        // TODO: For extra credit, execute both code representations and make sure the results are the same

        try
        {
            Assert.Equal(expected, actual, ignoreLineEndingDifferences: true);

            if (_outputExpressionTrees)
            {
                testOutputHelper.WriteLine("---- Output Roslyn syntax tree:");
                testOutputHelper.WriteLine(actual);
            }
        }
        catch (EqualException)
        {
            testOutputHelper.WriteLine("---- Output Roslyn syntax tree:");
            testOutputHelper.WriteLine(actual);

            throw;
        }

        if (unsafeAccessorsAsserter is null)
        {
            Assert.Empty(unsafeAccessors);
        }
        else
        {
            unsafeAccessorsAsserter(unsafeAccessors);
        }
    }

    private (LinqToCSharpSyntaxTranslator, AdhocWorkspace) CreateTranslator()
    {
        var workspace = new AdhocWorkspace();
        var syntaxGenerator = SyntaxGenerator.GetGenerator(workspace, LanguageNames.CSharp);
        return (new LinqToCSharpSyntaxTranslator(syntaxGenerator), workspace);
    }

    // ReSharper disable UnusedMember.Local
    // ReSharper disable AutoPropertyCanBeMadeGetOnly.Local
    // ReSharper disable UnusedParameter.Local
    // ReSharper disable UnusedAutoPropertyAccessor.Local
    // ReSharper disable MemberCanBePrivate.Local

    private static readonly MethodInfo ReturnsIntWithParamMethod
        = typeof(LinqToCSharpSyntaxTranslatorTest).GetMethod(nameof(ReturnsIntWithParam))!;

    public static int ReturnsIntWithParam(int i)
        => i + 1;

    private static readonly MethodInfo WithInOutRefParameterMethod
        = typeof(LinqToCSharpSyntaxTranslatorTest).GetMethod(nameof(WithInOutRefParameter))!;

    public static void WithInOutRefParameter(in int inParam, out int outParam, ref int refParam)
        => outParam = 8;

    private static readonly MethodInfo GenericMethod
        = typeof(LinqToCSharpSyntaxTranslatorTest).GetMethods().Single(m => m.Name == nameof(GenericMethodImplementation));

    public static int GenericMethodImplementation<T>(T t)
        => 0;

    private static readonly MethodInfo FooMethod
        = typeof(LinqToCSharpSyntaxTranslatorTest).GetMethod(nameof(Foo))!;

    public static int Foo()
        => 1;

    private static readonly MethodInfo BarMethod
        = typeof(LinqToCSharpSyntaxTranslatorTest).GetMethod(nameof(Bar))!;

    public static int Bar()
        => 1;

    private static readonly MethodInfo BazMethod
        = typeof(LinqToCSharpSyntaxTranslatorTest).GetMethod(nameof(Baz))!;

    public static int Baz()
        => 1;

    public static int MethodWithSixParams(int a, int b, int c, int d, int e, int f)
        => a + b + c + d + e + f;

    public static Expression<Func<int, bool>> LambdaExpressionProperty => f => f > 5;

    private static readonly FieldInfo BlogPrivateField
        = typeof(Blog).GetField("_privateField", BindingFlags.NonPublic | BindingFlags.Instance)!;

    private class Blog
    {
#pragma warning disable CS0169
#pragma warning disable CS0649
        public int PublicField;
        public int PublicProperty { get; set; }
        internal int InternalField;
        internal int InternalProperty { get; set; }
#pragma warning disable IDE0044 // Add readonly modifier
#pragma warning disable IDE0051 // Remove unused private members
        private int _privateField;
#pragma warning restore IDE0051 // Remove unused private members
#pragma warning restore IDE0044 // Add readonly modifier
        private int PrivateProperty { get; set; }

        public List<int> ListOfInts { get; set; } = [];
        public BlogDetails Details { get; set; } = new();
#pragma warning restore CS0649
#pragma warning restore CS0169

        public Blog() { }
        public Blog(string name) { }
        public Blog(int foo, int bar) { }

        public int SomeInstanceMethod()
            => 3;

        public static readonly ConstructorInfo Constructor
            = typeof(Blog).GetConstructor([])!;

        public static int Static_method_on_nested_type()
            => 3;
    }

    public class BlogDetails
    {
        public int Foo { get; set; }
        public List<int> ListOfInts { get; set; } = [];
    }

    private class BlogWithRequiredProperties
    {
        public required string Name { get; set; }
        public required int Rating { get; set; }

        public BlogWithRequiredProperties() { }

        public BlogWithRequiredProperties(string name)
        {
            Name = name;
        }

        [SetsRequiredMembers]
        public BlogWithRequiredProperties(string name, int rating)
        {
            Name = name;
            Rating = rating;
        }
    }

    [Flags]
    public enum SomeEnum
    {
        One = 1,
        Two = 2
    }

    // ReSharper restore UnusedMember.Local
    // ReSharper restore AutoPropertyCanBeMadeGetOnly.Local
    // ReSharper restore UnusedParameter.Local
    // ReSharper restore UnusedAutoPropertyAccessor.Local
    // ReSharper restore MemberCanBePrivate.Local

    private readonly ExpressionPrinter _expressionPrinter = new();
    private readonly bool _outputExpressionTrees = true;
}

internal class LinqExpressionToRoslynTranslatorExtensionType
{
    public static readonly ConstructorInfo Constructor
        = typeof(LinqExpressionToRoslynTranslatorExtensionType).GetConstructor([])!;
}

internal static class LinqExpressionToRoslynTranslatorExtensions
{
    public static readonly MethodInfo SomeExtensionMethod
        = typeof(LinqExpressionToRoslynTranslatorExtensions).GetMethod(
            nameof(SomeExtension), [typeof(LinqExpressionToRoslynTranslatorExtensionType)])!;

    public static int SomeExtension(this LinqExpressionToRoslynTranslatorExtensionType? someType)
        => 3;
}