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);
825
result = new
PossiblyConditionalState
(state);
28 references to PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (28)
FlowAnalysis\NullableWalker.cs (19)
5107
if (VisitPossibleConditionalAccess(leftOperand, out
var
conditionalStateWhenNotNull)
5188
LocalState getUnconditionalStateWhenNotNull(BoundExpression otherOperand,
PossiblyConditionalState
conditionalStateWhenNotNull)
5222
&& TryVisitConditionalAccess(rightOperand, out
var
conditionalStateWhenNotNull))
5873
VisitPossibleConditionalAccess(leftOperand, out
var
whenNotNull);
5955
private bool TryVisitConditionalAccess(BoundExpression node, out
PossiblyConditionalState
stateWhenNotNull)
5991
private bool VisitPossibleConditionalAccess(BoundExpression node, out
PossiblyConditionalState
stateWhenNotNull)
6001
stateWhenNotNull =
PossiblyConditionalState
.Create(this);
6020
private void VisitConditionalAccess(BoundConditionalAccess node, out
PossiblyConditionalState
stateWhenNotNull)
6105
stateWhenNotNull =
PossiblyConditionalState
.Create(this);
6201
var
consequenceConditionalState =
PossiblyConditionalState
.Create(this);
6206
var
alternativeConditionalState =
PossiblyConditionalState
.Create(this);
6386
var
savedState =
PossiblyConditionalState
.Create(this);
12304
VisitPossibleConditionalAccess(operand, out
var
conditionalStateWhenNotNull);
12954
private void Join(ref
PossiblyConditionalState
other)
12974
private LocalState CloneAndUnsplit(ref
PossiblyConditionalState
conditionalState)
12986
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;
801
nodeStateMap[node] = (
PossiblyConditionalState
.Create(this), believedReachable);
806
PossiblyConditionalState
result;
1058
var hasStateWhenNotNull = VisitPossibleConditionalAccess(node.Expression, out
var
conditionalStateWhenNotNull);