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)
5166
if (VisitPossibleConditionalAccess(leftOperand, out
var
conditionalStateWhenNotNull)
5247
LocalState getUnconditionalStateWhenNotNull(BoundExpression otherOperand,
PossiblyConditionalState
conditionalStateWhenNotNull)
5281
&& TryVisitConditionalAccess(rightOperand, out
var
conditionalStateWhenNotNull))
5932
VisitPossibleConditionalAccess(leftOperand, out
var
whenNotNull);
6014
private bool TryVisitConditionalAccess(BoundExpression node, out
PossiblyConditionalState
stateWhenNotNull)
6050
private bool VisitPossibleConditionalAccess(BoundExpression node, out
PossiblyConditionalState
stateWhenNotNull)
6060
stateWhenNotNull =
PossiblyConditionalState
.Create(this);
6079
private void VisitConditionalAccess(BoundConditionalAccess node, out
PossiblyConditionalState
stateWhenNotNull)
6164
stateWhenNotNull =
PossiblyConditionalState
.Create(this);
6260
var
consequenceConditionalState =
PossiblyConditionalState
.Create(this);
6265
var
alternativeConditionalState =
PossiblyConditionalState
.Create(this);
6445
var
savedState =
PossiblyConditionalState
.Create(this);
12467
VisitPossibleConditionalAccess(operand, out
var
conditionalStateWhenNotNull);
13117
private void Join(ref
PossiblyConditionalState
other)
13137
private LocalState CloneAndUnsplit(ref
PossiblyConditionalState
conditionalState)
13149
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);