9 references to FireNonMonotonicAssertIfNeeded
Microsoft.CodeAnalysis.AnalyzerUtilities (9)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyAbstractValueDomain.cs (1)
45FireNonMonotonicAssertIfNeeded(assertMonotonicity);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeAbstractValueDomain.cs (1)
46FireNonMonotonicAssertIfNeeded(assertMonotonicity);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateAnalysis.GlobalFlowStateAnalysisValueSetDomain.cs (1)
46FireNonMonotonicAssertIfNeeded(assertMonotonicity);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (3)
40FireNonMonotonicAssertIfNeeded(assertMonotonicity); 57FireNonMonotonicAssertIfNeeded(assertMonotonicity); 64FireNonMonotonicAssertIfNeeded(assertMonotonicity);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetAbstractValueDomain.cs (1)
49FireNonMonotonicAssertIfNeeded(assertMonotonicity);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentAbstractDomain.cs (2)
45FireNonMonotonicAssertIfNeeded(assertMonotonicity); 60FireNonMonotonicAssertIfNeeded(assertMonotonicity);