Est-ce que Roslyn peut reconnaître tous les jetons qui correspondent à une variable donnée?

Question

J'essaie d'utiliser Roslyn pour déterminer les informations sur les objets ajoutés à une collection. Le modèle général du code est qu'un IList est passé à une méthode (que je suis en mesure d'obtenir le MethodDeclarationSytax pour), puis un certain nombre d'objets sont ajoutés à cette collection. Je dois être capable de dire où la méthode Add est appelée sur la collection transmise, qui est toujours le seul paramètre passé à la méthode.

J'ai seulement été capable de comprendre comment faire ceci sur la chaîne correspondant aux jetons plutôt que d'être capable de reconnaître directement qu'un jeton donné est la même variable basée sur la portée.

Comment puis-je obtenir des informations de Roslyn qui indiqueront que les jetons sont en fait des références à la même variable basée sur la portée? Y a-t-il une option pour cela dans la vue sémantique? Est-ce que la comparaison de chaînes et la vérification manuelle de la portée sont la seule option qui s'offre à moi?

public void AddColumns(IList<Column> columns) 
{ 
    Column newColumn = new Column("something"); 
    columns.Add(newColumn); 

    newColumn = new Column("somethingElse"); 
    columns.Add(newColumn); 

    Column anotherNewColumn = new Column("something else"); 
    anotherNewColumn.MakeSomeChanges("123"); 
    columns.Add(anotherNewColumn); 
} 

Dans ce code, par exemple, j'ai l'MethodDeclarationSyntax pour addColumns. Je dois être capable d'identifier les lignes 4, 7 et 11 comme étant des endroits où l'ajout est en train de se produire et, de préférence, je devrai également déterminer d'où proviennent newColumn et anotherNewColumn (lignes 3, 6 et 9).

Je peux revenir à la vérification par chaîne si je le dois, mais je m'inquiète des cas manquants qui ne correspondent pas à ce que je m'attendais car il y a aussi des exemples où les méthodes sont utilisées pour ajouter des colonnes. vraiment compliqué vraiment vite.

Answer 1

Vous devez utiliser l'API SemanticModel que vous pouvez obtenir à partir d'un objet Compilation pour un objet SyntaxTree spécifique faisant partie de la compilation. Avec SemanticModel vous pouvez obtenir les symboles référencés à des points spécifiques de la source, en appelant GetSymbolInfo pour l'expression du nom du paramètre (probablement un IdentifierNameSyntax).