30 references to SetState
Microsoft.CodeAnalysis.CSharp (30)
FlowAnalysis\NullableWalker.cs (28)
897SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull); 1224SetState(ref this.State, memberSlot, NullableFlowState.MaybeNull); 2878SetState(ref state, slot, newState); 2884SetState(ref tryState, slot, newState.Join(GetState(ref tryState, slot)), useNotNullsAsDefault: true); 3058SetState(ref this.State, slot, state); 3403SetState(ref state, slot, NullableFlowState.NotNull); 3423SetState(ref state, slot, GetState(ref startingState, slot)); 3703SetState(ref this.State, slot, GetDefaultState(ref this.State, slot)); 4458SetState(ref this.State, slot, resultState); 4522SetState(ref this.State, iUnionValuePropertySlot, operandState); 6000SetState(ref stateToUpdate, slot, NullableFlowState.NotNull); 6029SetState(ref state, slot, NullableFlowState.NotNull); 6057SetState(ref state, slot, NullableFlowState.MaybeNull); 6086SetState(ref state, childSlot, NullableFlowState.NotNull); 6165SetState(ref this.State, leftSlot, NullableFlowState.NotNull); 8085SetState(ref state, memberSlot, NullableFlowState.NotNull); 9425SetState(ref this.State, slot, NullableFlowState.NotNull); 9566SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9583SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9610SetState(ref this.State, targetFieldSlot, convertedType.State); 9642SetState(ref this.State, conversionOperandSlot, valueFieldType.State); 9662SetState(ref this.State, targetFieldSlot, convertedType.State); 9667SetState(ref this.State, valueFieldSlot, GetState(ref this.State, conversionOperandSlot)); 12371SetState(ref this.StateWhenTrue, slotToSet, NullableFlowState.NotNull); 12722SetState(ref this.State, slot, state); 13171SetState(ref this.State, slot, NullableFlowState.NotNull); 13377SetState(ref this.State, memberSlot, 13692SetState(ref this.State, slot, NullableFlowState.NotNull);
FlowAnalysis\NullableWalker_Patterns.cs (2)
464SetState(ref State, outputSlot, NullableFlowState.NotNull); 516SetState(ref this.State, outputSlot, NullableFlowState.NotNull); // Slice value is assumed to be never null