Roslyn CTP - 随机码修改

Question

我一直在遗传编程类型的场景中试验Roslyn API。 这似乎是一种很好的方式来进行这种类型的编程，但是简单场景的实际实现似乎并不是非常简单，这意味着我可能对如何正确使用此API没有很好的理解。 这是我试图在我的实验中修改的一个简单程序：

string treeText = @"using System;
                                using System.Collections.Generic;

                                namespace TestProgram
                                {
                                    class Program
                                    {
                                        static void Main(string[] args)
                                        {
                                            var myVar = 3;
                                            string myString = ""Hello World"";
                                            List<string> stringList = new List<string>();
                                            Console.WriteLine(myString + myVar);
                                            Console.ReadLine();
                                        }
                                    }
                                }";

SyntaxTree tree = SyntaxTree.ParseText(treeText);

var compilation = Compilation.Create("test.exe",
        syntaxTrees: new[] { tree },
        references: new[]
            {
                new MetadataFileReference(typeof(object).Assembly.Location),
                new MetadataFileReference(typeof(Enumerable).Assembly.Location),
            });

        SemanticModel model = compilation.GetSemanticModel(tree);

就像一个简单的例子，让我说我以某种方式“随机”决定我想使用myString实例插入一个新的方法调用。 什么是一种有效的方法来确定我可以从该实例调用哪些方法？ 那么从符号信息中创建必要的MethodInvocationSyntax（一旦我选择使用特定方法）的最佳方法是什么？ 我在SemanticModel类上找到了一个名为ResolveOverloads的方法，它出现在我需要结束的地方，但是我很难找到这个方法所需参数的有效路径。 这甚至是正确的道路吗？

Answer 1

首先，获取VariableDeclaratorSyntax ，例如：

var variable = tree.GetRoot().DescendantNodes()
                   .OfType<VariableDeclaratorSyntax>()
                   .Single(v => v.Identifier.ValueText == "myString");

接下来，从SemanticModel获取此变量的LocalSymbol ：

var variableSymbol = (LocalSymbol)model.GetDeclaredSymbol(variable);

然后，您可以根据其类型获取可以在此变量上调用的方法列表。 您可以简单地获取该类型的所有成员作为实例方法：

var methods =
    variableSymbol.Type.GetMembers()
                  .OfType<MethodSymbol>()
                  .Where(m => !m.IsStatic && m.MethodKind == MethodKind.Ordinary);

或者，如果要包含扩展方法，可以使用LookupSymbols() ：

var methods = model.LookupSymbols(
    variable.GetLocation().SourceSpan.Start, variableSymbol.Type,
    options: LookupOptions.IncludeExtensionMethods)
                   .Where(m => !m.IsStatic);

然后，您可以根据逻辑选择一种可用方法，并创建InvocationExpressionSyntax （以下代码假定它是无参数方法）：

var invocationExpression =
    Syntax.InvocationExpression(
        Syntax.MemberAccessExpression(
            SyntaxKind.MemberAccessExpression,
            Syntax.IdentifierName(variableSymbol.Name),
            (SimpleNameSyntax)Syntax.ParseName(selectedMethod.Name)));

然后，您需要确定在方法中添加表达式的位置以及如何处理其结果（如果有的话）。