Roslyn: Analysieren des Objekts, das Verfahren

Question

Zum Beispiel Aufruf:

SqlCommand command = new SqlCommand(); 
SqlDataReader datareader = command.ExecuteReader(); 

Der Aufrufknoten ist hier command.ExecuteReader(). Wie kann ich mit roslyn den Variablenbezeichner token/node von command vom Aufrufknoten erhalten? Angenommen, dieser Aufrufknoten kann viele andere Methodenaufrufe davor haben, z. classA.methodA().methodB().classB.methodC(command.ExecuteReader()) und daher Bezeichner durch node.DescendantNodes möglicherweise nicht nützlich sein. Die Lösung, an die ich dachte, war, zuerst den SpanStart von ExecuteReader zu bekommen, dann das Symbol von command durch Aufruf von SymbolFinder.FindSymbolAtPosition mit der Position ExecuteReader.SpanStart - 2. Ich bin jedoch unsicher, ob diese Lösung jede einzelne Situation bewältigen kann. Die Anwendung, an der ich arbeite, ist ein statischer Code-Analysator.

Answer 1

Wenn Sie einen Aufrufknoten haben, können Sie sehen, ob es sich bei dem Ausdruck um einen Mitgliederzugriff handelt oder nicht. Wenn der Aufruf für eine Anweisung "DoThis()" ist, dann gibt es keinen Mitgliederzugriff, aber wenn der Aufruf für "x.DoThis()" ist, dann ist ein Mitgliederzugriff, da "DoThis" aufgerufen wird Referenz "x".

Sobald Sie bestätigen, dass ein Mitglied Zugriff ist, können Sie dann den Ausdruck der Zielreferenz erhalten - das ist die Referenz, auf deren Mitglied zugegriffen wird. Dieser Ausdruck kann ein einfacher Namensbezeichner sein (zB "Befehl") oder ein anderer Mitgliedszugriff (zB "x.command") oder ein anderer Aufruf (zB "GetCommand()") oder es könnte sein eine Kombination von diesen.

mit Code zu veranschaulichen -

private static void AnalyseInvocation(SyntaxNodeAnalysisContext context) 
{ 
    var invocation = (InvocationExpressionSyntax)context.Node; 
    var memberAccess = invocation.Expression as MemberAccessExpressionSyntax; 
    if ((memberAccess == null) || (memberAccess.Name.Identifier.ValueText != "ExecuteReader")) 
     return; 

    if (memberAccess.Expression is IdentifierNameSyntax) 
    { 
     // The target is a simple identifier, the code being analysed is of the form 
     // "command.ExecuteReader()" and memberAccess.Expression is the "command" 
     // node 
    } 
    else if (memberAccess.Expression is InvocationExpressionSyntax) 
    { 
     // The target is another invocation, the code being analysed is of the form 
     // "GetCommand().ExecuteReader()" and memberAccess.Expression is the 
     // "GetCommand()" node 
    } 
    else if (memberAccess.Expression is MemberAccessExpressionSyntax) 
    { 
     // The target is a member access, the code being analysed is of the form 
     // "x.Command.ExecuteReader()" and memberAccess.Expression is the "x.Command" 
     // node 
    } 
}