5 instantiations of PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (5)
FlowAnalysis\NullableWalker_Patterns.cs (5)
362
? new
PossiblyConditionalState
(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse)
363
: new
PossiblyConditionalState
(nullableWalker.State);
369
? new
PossiblyConditionalState
(StateWhenTrue, StateWhenFalse)
370
: new
PossiblyConditionalState
(State);
827
result = new
PossiblyConditionalState
(state);
28 references to PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (28)
FlowAnalysis\NullableWalker.cs (19)
5114
if (VisitPossibleConditionalAccess(leftOperand, out
var
conditionalStateWhenNotNull)
5195
LocalState getUnconditionalStateWhenNotNull(BoundExpression otherOperand,
PossiblyConditionalState
conditionalStateWhenNotNull)
5229
&& TryVisitConditionalAccess(rightOperand, out
var
conditionalStateWhenNotNull))
5880
VisitPossibleConditionalAccess(leftOperand, out
var
whenNotNull);
5962
private bool TryVisitConditionalAccess(BoundExpression node, out
PossiblyConditionalState
stateWhenNotNull)
5998
private bool VisitPossibleConditionalAccess(BoundExpression node, out
PossiblyConditionalState
stateWhenNotNull)
6008
stateWhenNotNull =
PossiblyConditionalState
.Create(this);
6027
private void VisitConditionalAccess(BoundConditionalAccess node, out
PossiblyConditionalState
stateWhenNotNull)
6112
stateWhenNotNull =
PossiblyConditionalState
.Create(this);
6208
var
consequenceConditionalState =
PossiblyConditionalState
.Create(this);
6213
var
alternativeConditionalState =
PossiblyConditionalState
.Create(this);
6393
var
savedState =
PossiblyConditionalState
.Create(this);
12327
VisitPossibleConditionalAccess(operand, out
var
conditionalStateWhenNotNull);
12977
private void Join(ref
PossiblyConditionalState
other)
12997
private LocalState CloneAndUnsplit(ref
PossiblyConditionalState
conditionalState)
13009
private void SetPossiblyConditionalState(in
PossiblyConditionalState
conditionalState)
FlowAnalysis\NullableWalker_Patterns.cs (9)
359
public static
PossiblyConditionalState
Create(NullableWalker nullableWalker)
366
public
PossiblyConditionalState
Clone()
379
PossiblyConditionalState
? stateWhenNotNullOpt)
413
var nodeStateMap = PooledDictionary<BoundDecisionDagNode, (
PossiblyConditionalState
state, bool believedReachable)>.GetInstance();
414
nodeStateMap.Add(decisionDag.RootNode, (state:
PossiblyConditionalState
.Create(this), believedReachable: true));
422
(
PossiblyConditionalState
nodeState, bool nodeBelievedReachable) = nodeStateAndBelievedReachable;
803
nodeStateMap[node] = (
PossiblyConditionalState
.Create(this), believedReachable);
808
PossiblyConditionalState
result;
1060
var hasStateWhenNotNull = VisitPossibleConditionalAccess(node.Expression, out
var
conditionalStateWhenNotNull);