從循環條件

Question

獲取迭代次數與微軟羅斯林我有這樣的代碼來解析：

int[] tab1 = { 0, 1, 2, 3, 4 }; 
for (var i = 0; i < tab1.Length - 1; i++) { }; 

我怎樣才能tab1.Length的精確值 - 1（4本示例）使用Microsoft羅斯林？

我能找到表達tab1.Length - 1與此代碼：

var collector = new ForCollector(); 
foreach (var statement in collector.ForStatements) 
{ 
    Console.WriteLine(statement.Condition.ChildNodes().ElementAt(1)); 
} 

凡ForCollector是一個類繼承SyntaxWalker與重載函數VisitForStatement但我不知道如何讓tab1.Length的價值。我想我必須爲此使用SemanticModel。

羅斯林的版本 - 2012年9月

Answer 1

該解決方案走的語法樹找到你要找的內容。備註：

1. 它走過整棵樹。如果你放更多的類或方法，它只會找到第一個。您可以修改代碼以查找儘可能多的for循環，然後檢查每個循環。
2. 我已經在方法中包裝了代碼片段，以便於解析。
3. 我已經打破了每一步的可讀性，您可以摺疊它們。

以下是源代碼，您可以將其轉儲到控制檯應用程序中進行運行。

using System.Linq; 
using Roslyn.Compilers.CSharp; 

// Snip some console app wrapping 

var code = @" 
    public void FindI() 
    { 
     int[] tab1 = { 0, 1, 2, 3, 4 }; 
     for (var i = 0; i < tab1.Length - 1; i++) { }; 
    }"; 

     var syntaxTree = SyntaxTree.ParseText(code); 

     var forStatement = syntaxTree 
      .GetRoot() 
      .DescendantNodes() 
      .OfType<ForStatementSyntax>() 
      .First(); 

     // Gets the name 'tab1' from the for statement condition 
     var conditionMemberName = forStatement 
      .DescendantNodes() 
      .OfType<MemberAccessExpressionSyntax>() 
      .First() 
      .GetFirstToken() 
      .Value; 

     // Finds the first variable: int[] tab1 = { 0, 1, 2, 3, 4 }; 
     var member = syntaxTree 
      .GetRoot() 
      .DescendantNodes() 
      .OfType<VariableDeclarationSyntax>() 
      .First() 

     // Finds the variable with the correct name 'tab1' 
     var variable = member.Variables.Where(x => x.Identifier.Value == conditionMemberName).Single(); 

     // Find the initializer: { 0, 1, 2, 3, 4 }; 
     var initializer = variable.Initializer.Value as InitializerExpressionSyntax; 

     // Counds the number of items in the initializer 
     var lengthOfInitializers = initializer.Expressions.Count;