NullAbstractValueDomain

1 instantiation of NullAbstractValueDomain

Microsoft.CodeAnalysis.NetAnalyzers (1)

src\ffd9070534249528\PointsToAnalysis.NullAbstractValueDomain.cs (1)

15public static NullAbstractValueDomain Default = new();

4 references to NullAbstractValueDomain

Microsoft.CodeAnalysis.NetAnalyzers (4)

src\ffd9070534249528\PointsToAnalysis.NullAbstractValueDomain.cs (1)

15public static NullAbstractValueDomain Default = new();

src\ffd9070534249528\PointsToAnalysis.PointsToAbstractValueDomain.cs (3)

36var nullCompareResult = NullAbstractValueDomain.Default.Compare(oldValue.NullState, newValue.NullState); 54if (NullAbstractValueDomain.Default.Compare(oldValue.NullState, newValue.NullState) > 0) 136var mergedNullState = NullAbstractValueDomain.Default.Merge(value1.NullState, value2.NullState);