/// <summary> /// Perform flow analysis, reporting all necessary diagnostics. Returns true if the end of /// the body might be reachable.. /// </summary> /// <param name="compilation"></param> /// <param name="tree"></param> /// <param name="method"></param> /// <param name="block"></param> /// <param name="diagnostics"></param> /// <returns></returns> public static bool Analyze(Compilation compilation, SyntaxTree tree, MethodSymbol method, BoundStatement block, DiagnosticBag diagnostics) { var walker = new FlowAnalysisWalker(compilation, tree, method, block); var result = walker.Analyze(diagnostics); walker.Free(); return(result); }
/// <summary> /// Perform flow analysis, reporting all necessary diagnostics. Returns true if the end of /// the body might be reachable.. /// </summary> /// <param name="compilation"></param> /// <param name="tree"></param> /// <param name="method"></param> /// <param name="block"></param> /// <param name="diagnostics"></param> /// <returns></returns> public static bool Analyze(Compilation compilation, SyntaxTree tree, MethodSymbol method, BoundStatement block, DiagnosticBag diagnostics) { var walker = new FlowAnalysisWalker(compilation, tree, method, block); var result = walker.Analyze(diagnostics); walker.Free(); return result; }