7 references to PointsToAbstractValue
Microsoft.CodeAnalysis.AnalyzerUtilities (7)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (7)
28
public static PointsToAbstractValue NoLocation { get; } = new
PointsToAbstractValue
(ImmutableHashSet.Create(AbstractLocation.NoLocation), NullAbstractValue.NotNull);
29
public static PointsToAbstractValue NullLocation { get; } = new
PointsToAbstractValue
(ImmutableHashSet.Create(AbstractLocation.Null), NullAbstractValue.Null);
72
return new
PointsToAbstractValue
(ImmutableHashSet.Create(location), mayBeNull ? NullAbstractValue.MaybeNull : NullAbstractValue.NotNull);
109
return new
PointsToAbstractValue
(locations, nullState);
142
return new
PointsToAbstractValue
(locations, NullAbstractValue.NotNull);
159
return new
PointsToAbstractValue
(Locations, NullAbstractValue.Null);
178
return new
PointsToAbstractValue
(Locations, NullAbstractValue.MaybeNull);