5 instantiations of PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (5)
FlowAnalysis\NullableWalker_Patterns.cs (5)
364? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 365: new PossiblyConditionalState(nullableWalker.State); 371? new PossiblyConditionalState(StateWhenTrue, StateWhenFalse) 372: new PossiblyConditionalState(State); 936result = new PossiblyConditionalState(state);
28 references to PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (28)
FlowAnalysis\NullableWalker.cs (19)
5435if (VisitPossibleConditionalAccess(leftOperand, out var conditionalStateWhenNotNull) 5516LocalState getUnconditionalStateWhenNotNull(BoundExpression otherOperand, PossiblyConditionalState conditionalStateWhenNotNull) 5550&& TryVisitConditionalAccess(rightOperand, out var conditionalStateWhenNotNull)) 6201VisitPossibleConditionalAccess(leftOperand, out var whenNotNull); 6285private bool TryVisitConditionalAccess(BoundExpression node, out PossiblyConditionalState stateWhenNotNull) 6321private bool VisitPossibleConditionalAccess(BoundExpression node, out PossiblyConditionalState stateWhenNotNull) 6331stateWhenNotNull = PossiblyConditionalState.Create(this); 6350private void VisitConditionalAccess(BoundConditionalAccess node, out PossiblyConditionalState stateWhenNotNull) 6435stateWhenNotNull = PossiblyConditionalState.Create(this); 6531var consequenceConditionalState = PossiblyConditionalState.Create(this); 6536var alternativeConditionalState = PossiblyConditionalState.Create(this); 6716var savedState = PossiblyConditionalState.Create(this); 13119VisitPossibleConditionalAccess(operand, out var conditionalStateWhenNotNull); 13823private void Join(ref PossiblyConditionalState other) 13843private LocalState CloneAndUnsplit(ref PossiblyConditionalState conditionalState) 13855private void SetPossiblyConditionalState(in PossiblyConditionalState conditionalState)
FlowAnalysis\NullableWalker_Patterns.cs (9)
361public static PossiblyConditionalState Create(NullableWalker nullableWalker) 368public PossiblyConditionalState Clone() 381PossiblyConditionalState? stateWhenNotNullOpt) 416var nodeStateMap = PooledDictionary<BoundDecisionDagNode, (PossiblyConditionalState state, bool believedReachable)>.GetInstance(); 417nodeStateMap.Add(decisionDag.RootNode, (state: PossiblyConditionalState.Create(this), believedReachable: true)); 425(PossiblyConditionalState nodeState, bool nodeBelievedReachable) = nodeStateAndBelievedReachable; 912nodeStateMap[node] = (PossiblyConditionalState.Create(this), believedReachable); 917PossiblyConditionalState result; 1160var hasStateWhenNotNull = VisitPossibleConditionalAccess(node.Expression, out var conditionalStateWhenNotNull);