public ForwardDataFlowAnalyzer( IForwardDataFlowAnalyzer <TState> strategy, ISymbolTree symbolTree, Diagnostics diagnostics) { this.strategy = strategy; this.symbolTree = symbolTree; this.diagnostics = diagnostics; }
public static void Check <TState>( IForwardDataFlowAnalyzer <TState> strategy, FixedSet <IExecutableDeclaration> declarations, ISymbolTree symbolTree, Diagnostics diagnostics) where TState : class { var dataFlowAnalyzer = new ForwardDataFlowAnalyzer <TState>(strategy, symbolTree, diagnostics); foreach (var invocableDeclaration in declarations) { dataFlowAnalyzer.Check(invocableDeclaration); } }