1 instantiation of NullAbstractValueDomain
Microsoft.CodeAnalysis.AnalyzerUtilities (1)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.NullAbstractValueDomain.cs (1)
16
public static NullAbstractValueDomain Default =
new
();
4 references to NullAbstractValueDomain
Microsoft.CodeAnalysis.AnalyzerUtilities (4)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.NullAbstractValueDomain.cs (1)
16
public static
NullAbstractValueDomain
Default = new();
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (3)
37
var nullCompareResult =
NullAbstractValueDomain
.Default.Compare(oldValue.NullState, newValue.NullState);
55
if (
NullAbstractValueDomain
.Default.Compare(oldValue.NullState, newValue.NullState) > 0)
137
var mergedNullState =
NullAbstractValueDomain
.Default.Merge(value1.NullState, value2.NullState);