26 references to SetState
Microsoft.CodeAnalysis.CSharp (26)
FlowAnalysis\NullableWalker.cs (24)
879SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull); 1206SetState(ref this.State, memberSlot, NullableFlowState.MaybeNull); 2832SetState(ref state, slot, newState); 2838SetState(ref tryState, slot, newState.Join(GetState(ref tryState, slot)), useNotNullsAsDefault: true); 3012SetState(ref this.State, slot, state); 3357SetState(ref state, slot, NullableFlowState.NotNull); 3377SetState(ref state, slot, GetState(ref startingState, slot)); 3630SetState(ref this.State, slot, GetDefaultState(ref this.State, slot)); 4383SetState(ref this.State, slot, resultState); 5890SetState(ref stateToUpdate, slot, NullableFlowState.NotNull); 5919SetState(ref state, slot, NullableFlowState.NotNull); 5947SetState(ref state, slot, NullableFlowState.MaybeNull); 5976SetState(ref state, childSlot, NullableFlowState.NotNull); 6055SetState(ref this.State, leftSlot, NullableFlowState.NotNull); 7913SetState(ref state, memberSlot, NullableFlowState.NotNull); 9237SetState(ref this.State, slot, NullableFlowState.NotNull); 9377SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9394SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9421SetState(ref this.State, targetFieldSlot, convertedType.State); 11822SetState(ref this.StateWhenTrue, containingSlot, NullableFlowState.NotNull); 12183SetState(ref this.State, slot, state); 12634SetState(ref this.State, slot, NullableFlowState.NotNull); 12840SetState(ref this.State, memberSlot, 13155SetState(ref this.State, slot, NullableFlowState.NotNull);
FlowAnalysis\NullableWalker_Patterns.cs (2)
462SetState(ref State, outputSlot, NullableFlowState.NotNull); 514SetState(ref this.State, outputSlot, NullableFlowState.NotNull); // Slice value is assumed to be never null