18 references to GetState
Microsoft.CodeAnalysis.CSharp (18)
FlowAnalysis\NullableWalker.cs (17)
796var memberState = GetState(ref state, slot); 1150var parameterState = GetState(ref state, memberSlot); 1256if (GetOrCreateSlot(parameter) is > 0 and var slot && GetState(ref pendingReturn.StateWhenTrue, slot) != GetState(ref pendingReturn.StateWhenFalse, slot)) 1295var parameterState = GetState(ref state, slot); 1351var parameterState = GetState(ref stateWhen, slot); 1389&& GetState(ref state, inputSlot).IsNotNull()) 2751GetState(ref this.State, valueMemberSlot) : 2813SetState(ref tryState, slot, newState.Join(GetState(ref tryState, slot)), useNotNullsAsDefault: true); 3353SetState(ref state, slot, GetState(ref startingState, slot)); 4446if (!initializer.Type.IsValueType && GetState(ref State, slot).MayBeNull()) 5728if (GetState(ref state, slot) == NullableFlowState.NotNull) 8646NullableFlowState state = GetState(ref this.State, slot); 10977SetResultType(node, TypeWithState.Create(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot))); 11155SetResultType(node, TypeWithState.Create(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot))); 11475var state = GetState(ref this.State, slot); 12495node.IsAddition ? GetState(ref this.State, memberSlot).Meet(ResultType.State) : NullableFlowState.MaybeNull);
FlowAnalysis\NullableWalker_Patterns.cs (1)
607var inputMaybeNull = GetState(ref this.StateWhenTrue, inputSlot).MayBeNull();