6 references to UnknownNotNull
Microsoft.CodeAnalysis.AnalyzerUtilities (6)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (1)
27
public static PointsToAbstractValue UnknownNotNull { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.
UnknownNotNull
, NullAbstractValue.NotNull);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (2)
113
else if (value1.Kind == PointsToAbstractValueKind.
UnknownNotNull
)
119
else if (value2.Kind == PointsToAbstractValueKind.
UnknownNotNull
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (2)
261
or PointsToAbstractValueKind.
UnknownNotNull
)
412
or PointsToAbstractValueKind.
UnknownNotNull
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (1)
210
or PointsToAbstractValueKind.
UnknownNotNull
=> true,