5 instantiations of PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (5)
FlowAnalysis\NullableWalker_Patterns.cs (5)
365? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 366: new PossiblyConditionalState(nullableWalker.State); 372? new PossiblyConditionalState(StateWhenTrue, StateWhenFalse) 373: new PossiblyConditionalState(State); 948result = new PossiblyConditionalState(state);
28 references to PossiblyConditionalState
Microsoft.CodeAnalysis.CSharp (28)
FlowAnalysis\NullableWalker_Patterns.cs (9)
362public static PossiblyConditionalState Create(NullableWalker nullableWalker) 369public PossiblyConditionalState Clone() 382PossiblyConditionalState? stateWhenNotNullOpt, 418var nodeStateMap = PooledDictionary<BoundDecisionDagNode, (PossiblyConditionalState state, bool believedReachable)>.GetInstance(); 419nodeStateMap.Add(decisionDag.RootNode, (state: PossiblyConditionalState.Create(this), believedReachable: true)); 427(PossiblyConditionalState nodeState, bool nodeBelievedReachable) = nodeStateAndBelievedReachable; 919nodeStateMap[node] = (PossiblyConditionalState.Create(this), believedReachable); 929PossiblyConditionalState result; 1252var hasStateWhenNotNull = VisitPossibleConditionalAccess(node.Expression, out var conditionalStateWhenNotNull);
FlowAnalysis\NullableWalker.cs (19)
5485if (VisitPossibleConditionalAccess(leftOperand, out var conditionalStateWhenNotNull) 5566LocalState getUnconditionalStateWhenNotNull(BoundExpression otherOperand, PossiblyConditionalState conditionalStateWhenNotNull) 5600&& TryVisitConditionalAccess(rightOperand, out var conditionalStateWhenNotNull)) 6267VisitPossibleConditionalAccess(leftOperand, out var whenNotNull); 6351private bool TryVisitConditionalAccess(BoundExpression node, out PossiblyConditionalState stateWhenNotNull) 6387private bool VisitPossibleConditionalAccess(BoundExpression node, out PossiblyConditionalState stateWhenNotNull) 6397stateWhenNotNull = PossiblyConditionalState.Create(this); 6416private void VisitConditionalAccess(BoundConditionalAccess node, out PossiblyConditionalState stateWhenNotNull) 6501stateWhenNotNull = PossiblyConditionalState.Create(this); 6597var consequenceConditionalState = PossiblyConditionalState.Create(this); 6602var alternativeConditionalState = PossiblyConditionalState.Create(this); 6782var savedState = PossiblyConditionalState.Create(this); 13282VisitPossibleConditionalAccess(operand, out var conditionalStateWhenNotNull); 13994private void Join(ref PossiblyConditionalState other) 14014private LocalState CloneAndUnsplit(ref PossiblyConditionalState conditionalState) 14026private void SetPossiblyConditionalState(in PossiblyConditionalState conditionalState)