30 references to PredicateAnalysis
Microsoft.CodeAnalysis.AnalyzerUtilities (30)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (29)
380if (PredicateAnalysis) 446if (PredicateAnalysis && IsReachableBlockData(input)) 758if (PredicateAnalysis && 964if (PredicateAnalysis) 1316if (PredicateAnalysis) 1334if (PredicateAnalysis) 1358Debug.Assert(PredicateAnalysis); 1364Debug.Assert(PredicateAnalysis); 1378if (PredicateAnalysis) 1388Debug.Assert(PredicateAnalysis); 1546Debug.Assert(PredicateAnalysis); 1827Debug.Assert(PredicateAnalysis); 1852Debug.Assert(PredicateAnalysis); 1896Debug.Assert(PredicateAnalysis); 1902Debug.Assert(PredicateAnalysis); 1908Debug.Assert(PredicateAnalysis); 1914Debug.Assert(PredicateAnalysis); 1923Debug.Assert(PredicateAnalysis); 1929Debug.Assert(PredicateAnalysis); 1935Debug.Assert(PredicateAnalysis); 2361if (PredicateAnalysis) 2994if (!PredicateAnalysis) 3027if (!PredicateAnalysis) 3077if (PredicateAnalysis && IsContractCheckArgument(operation)) 3230if (PredicateAnalysis && 3713if (PredicateAnalysis && operation.OperatorKind == UnaryOperatorKind.Not) 3729if (PredicateAnalysis && operation.IsComparisonOperator()) 3740if (PredicateAnalysis) 3856if (PredicateAnalysis)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicateAnalysisEntityDataFlowOperationVisitor.cs (1)
30Debug.Assert(PredicateAnalysis);