26 references to SetState
Microsoft.CodeAnalysis.CSharp (26)
FlowAnalysis\NullableWalker.cs (24)
841SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull); 1108SetState(ref this.State, memberSlot, NullableFlowState.MaybeNull); 2690SetState(ref state, slot, newState); 2696SetState(ref tryState, slot, newState.Join(GetState(ref tryState, slot)), useNotNullsAsDefault: true); 2830SetState(ref this.State, slot, state); 3175SetState(ref state, slot, NullableFlowState.NotNull); 3195SetState(ref state, slot, GetState(ref startingState, slot)); 3450SetState(ref this.State, slot, GetDefaultState(ref this.State, slot)); 4014SetState(ref this.State, slot, resultState); 5400SetState(ref stateToUpdate, slot, NullableFlowState.NotNull); 5429SetState(ref state, slot, NullableFlowState.NotNull); 5457SetState(ref state, slot, NullableFlowState.MaybeNull); 5486SetState(ref state, childSlot, NullableFlowState.NotNull); 5565SetState(ref this.State, leftSlot, NullableFlowState.NotNull); 7205SetState(ref state, memberSlot, NullableFlowState.NotNull); 8432SetState(ref this.State, slot, NullableFlowState.NotNull); 8572SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 8589SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 8616SetState(ref this.State, targetFieldSlot, convertedType.State); 10795SetState(ref this.StateWhenTrue, containingSlot, NullableFlowState.NotNull); 11152SetState(ref this.State, slot, state); 11492SetState(ref this.State, slot, NullableFlowState.NotNull); 11698SetState(ref this.State, memberSlot, 12013SetState(ref this.State, slot, NullableFlowState.NotNull);
FlowAnalysis\NullableWalker_Patterns.cs (2)
481SetState(ref State, outputSlot, NullableFlowState.NotNull); 577SetState(ref this.State, outputSlot, NullableFlowState.NotNull); // Slice value is assumed to be never null