23 references to GetState
Microsoft.CodeAnalysis.CSharp (23)
FlowAnalysis\NullableWalker.cs (20)
821
var memberState =
GetState
(ref state, slot);
1175
var parameterState =
GetState
(ref state, memberSlot);
1281
if (GetOrCreateSlot(parameter) is > 0 and var slot &&
GetState
(ref pendingReturn.StateWhenTrue, slot) !=
GetState
(ref pendingReturn.StateWhenFalse, slot))
1320
var parameterState =
GetState
(ref state, slot);
1376
var parameterState =
GetState
(ref stateWhen, slot);
1414
&&
GetState
(ref state, inputSlot).IsNotNull())
2777
GetState
(ref this.State, valueMemberSlot) :
2839
SetState(ref tryState, slot, newState.Join(
GetState
(ref tryState, slot)), useNotNullsAsDefault: true);
3378
SetState(ref state, slot,
GetState
(ref startingState, slot));
4463
operandState =
GetState
(ref this.State, operandSlot);
4734
if (!initializer.Type.IsValueType &&
GetState
(ref State, slot).MayBeNull())
6016
if (
GetState
(ref state, slot) == NullableFlowState.NotNull)
9079
NullableFlowState state =
GetState
(ref this.State, slot);
9563
valueFieldType = TypeWithState.Create(valueFieldType.Type,
GetState
(ref this.State, valueFieldSlot));
9604
SetState(ref this.State, valueFieldSlot,
GetState
(ref this.State, conversionOperandSlot));
11694
SetResultType(node, TypeWithState.Create(results[0].RValueType.Type,
GetState
(ref State, extensionReceiverSlot)));
11883
SetResultType(node, TypeWithState.Create(results[0].RValueType.Type,
GetState
(ref State, extensionReceiverSlot)));
12226
var state =
GetState
(ref this.State, slot);
13255
node.IsAddition ?
GetState
(ref this.State, memberSlot).Meet(ResultType.State) : NullableFlowState.MaybeNull);
FlowAnalysis\NullableWalker_Patterns.cs (3)
522
var inputState =
GetState
(ref this.State, inputSlot);
554
var inputMaybeNull =
GetState
(ref this.StateWhenTrue, inputSlot).MayBeNull();
627
var tempState =
GetState
(ref this.State, tempSlot);