Roslyn CTP - 随机码修改

时间:2013-05-04 00:45:46

标签: c# genetic-programming roslyn

我一直在基因编程类型的场景中试验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的方法,它出现在我需要结束的地方,但是我很难找到这个方法所需参数的有效路径。这甚至是正确的道路吗?

1 个答案:

答案 0 :(得分:1)

首先,获取变量的VariableDeclaratorSyntax,例如:

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

接下来,从LocalSymbol

获取此变量的SemanticModel
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)));

然后,您需要找出方法中添加表达式的位置以及如何处理结果(如果有的话)。