5 instantiations of PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (5)
FlowAnalysis\NullableWalker_Patterns.cs (5)
324? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 325: new PossiblyConditionalState(nullableWalker.State); 331? new PossiblyConditionalState(StateWhenTrue, StateWhenFalse) 332: new PossiblyConditionalState(State); 785result = new PossiblyConditionalState(state);
28 references to PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (28)
FlowAnalysis\NullableWalker.cs (19)
4463if (VisitPossibleConditionalAccess(leftOperand, out var conditionalStateWhenNotNull) 4544LocalState getUnconditionalStateWhenNotNull(BoundExpression otherOperand, PossiblyConditionalState conditionalStateWhenNotNull) 4578&& TryVisitConditionalAccess(rightOperand, out var conditionalStateWhenNotNull)) 5138VisitPossibleConditionalAccess(leftOperand, out var whenNotNull); 5220private bool TryVisitConditionalAccess(BoundExpression node, out PossiblyConditionalState stateWhenNotNull) 5256private bool VisitPossibleConditionalAccess(BoundExpression node, out PossiblyConditionalState stateWhenNotNull) 5266stateWhenNotNull = PossiblyConditionalState.Create(this); 5285private void VisitConditionalAccess(BoundConditionalAccess node, out PossiblyConditionalState stateWhenNotNull) 5369stateWhenNotNull = PossiblyConditionalState.Create(this); 5452var consequenceConditionalState = PossiblyConditionalState.Create(this); 5457var alternativeConditionalState = PossiblyConditionalState.Create(this); 5617var savedState = PossiblyConditionalState.Create(this); 10592VisitPossibleConditionalAccess(operand, out var conditionalStateWhenNotNull); 11242private void Join(ref PossiblyConditionalState other) 11262private LocalState CloneAndUnsplit(ref PossiblyConditionalState conditionalState) 11274private void SetPossiblyConditionalState(in PossiblyConditionalState conditionalState)
FlowAnalysis\NullableWalker_Patterns.cs (9)
321public static PossiblyConditionalState Create(NullableWalker nullableWalker) 328public PossiblyConditionalState Clone() 341PossiblyConditionalState? stateWhenNotNullOpt) 375var nodeStateMap = PooledDictionary<BoundDecisionDagNode, (PossiblyConditionalState state, bool believedReachable)>.GetInstance(); 376nodeStateMap.Add(decisionDag.RootNode, (state: PossiblyConditionalState.Create(this), believedReachable: true)); 384(PossiblyConditionalState nodeState, bool nodeBelievedReachable) = nodeStateAndBelievedReachable; 761nodeStateMap[node] = (PossiblyConditionalState.Create(this), believedReachable); 766PossiblyConditionalState result; 1013var hasStateWhenNotNull = VisitPossibleConditionalAccess(node.Expression, out var conditionalStateWhenNotNull);