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); 825result = new PossiblyConditionalState(state);
28 references to PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (28)
FlowAnalysis\NullableWalker.cs (19)
4954if (VisitPossibleConditionalAccess(leftOperand, out var conditionalStateWhenNotNull) 5035LocalState getUnconditionalStateWhenNotNull(BoundExpression otherOperand, PossiblyConditionalState conditionalStateWhenNotNull) 5069&& TryVisitConditionalAccess(rightOperand, out var conditionalStateWhenNotNull)) 5663VisitPossibleConditionalAccess(leftOperand, out var whenNotNull); 5745private bool TryVisitConditionalAccess(BoundExpression node, out PossiblyConditionalState stateWhenNotNull) 5781private bool VisitPossibleConditionalAccess(BoundExpression node, out PossiblyConditionalState stateWhenNotNull) 5791stateWhenNotNull = PossiblyConditionalState.Create(this); 5810private void VisitConditionalAccess(BoundConditionalAccess node, out PossiblyConditionalState stateWhenNotNull) 5894stateWhenNotNull = PossiblyConditionalState.Create(this); 5990var consequenceConditionalState = PossiblyConditionalState.Create(this); 5995var alternativeConditionalState = PossiblyConditionalState.Create(this); 6175var savedState = PossiblyConditionalState.Create(this); 11572VisitPossibleConditionalAccess(operand, out var conditionalStateWhenNotNull); 12222private void Join(ref PossiblyConditionalState other) 12242private LocalState CloneAndUnsplit(ref PossiblyConditionalState conditionalState) 12254private void SetPossiblyConditionalState(in PossiblyConditionalState conditionalState)
FlowAnalysis\NullableWalker_Patterns.cs (9)
359public static PossiblyConditionalState Create(NullableWalker nullableWalker) 366public PossiblyConditionalState Clone() 379PossiblyConditionalState? stateWhenNotNullOpt) 413var nodeStateMap = PooledDictionary<BoundDecisionDagNode, (PossiblyConditionalState state, bool believedReachable)>.GetInstance(); 414nodeStateMap.Add(decisionDag.RootNode, (state: PossiblyConditionalState.Create(this), believedReachable: true)); 422(PossiblyConditionalState nodeState, bool nodeBelievedReachable) = nodeStateAndBelievedReachable; 801nodeStateMap[node] = (PossiblyConditionalState.Create(this), believedReachable); 806PossiblyConditionalState result; 1058var hasStateWhenNotNull = VisitPossibleConditionalAccess(node.Expression, out var conditionalStateWhenNotNull);