13 references to MaybeNull
Microsoft.CodeAnalysis.AnalyzerUtilities (13)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (4)
25
public static PointsToAbstractValue Unknown { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.Unknown, NullAbstractValue.
MaybeNull
);
72
return new PointsToAbstractValue(ImmutableHashSet.Create(location), mayBeNull ? NullAbstractValue.
MaybeNull
: NullAbstractValue.NotNull);
167
if (NullState == NullAbstractValue.
MaybeNull
)
178
return new PointsToAbstractValue(Locations, NullAbstractValue.
MaybeNull
);
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (1)
73
case NullAbstractValue.
MaybeNull
:
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.NullAbstractValueDomain.cs (5)
22
public override NullAbstractValue UnknownOrMayBeValue => NullAbstractValue.
MaybeNull
;
33
if (value1 == NullAbstractValue.
MaybeNull
||
34
value2 == NullAbstractValue.
MaybeNull
)
36
result = NullAbstractValue.
MaybeNull
;
49
result = NullAbstractValue.
MaybeNull
;
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetCallbacks.cs (1)
32
NullAbstractValue.
MaybeNull
=> PropertySetAbstractValueKind.MaybeFlagged,
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (2)
1171
nullAbstractValue = NullAbstractValue.
MaybeNull
;
1181
nullAbstractValue = NullAbstractValue.
MaybeNull
;