33 references to MaybeNull
Microsoft.CodeAnalysis.CSharp (33)
FlowAnalysis\NullableWalker.cs (21)
799
: NullableFlowState.
MaybeNull
;
855
SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ? NullableFlowState.MaybeDefault : NullableFlowState.
MaybeNull
);
1182
SetState(ref this.State, memberSlot, NullableFlowState.
MaybeNull
);
2379
case NullableFlowState.
MaybeNull
:
2740
NullableFlowState value = isDefaultValue ? NullableFlowState.
MaybeNull
: fieldOrPropertyType.ToTypeWithState().State;
4210
resultState = NullableFlowState.
MaybeNull
;
5082
resultState = NullableFlowState.
MaybeNull
; // Delegate removal can produce null.
5731
SetState(ref state, slot, NullableFlowState.
MaybeNull
);
9634
resultState = targetType?.IsTypeParameterDisallowingAnnotationInCSharp8() == true ? NullableFlowState.MaybeDefault : NullableFlowState.
MaybeNull
;
9646
case NullableFlowState.
MaybeNull
:
9658
return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.MaybeDefault : NullableFlowState.
MaybeNull
;
9665
return NullableFlowState.
MaybeNull
;
9678
if (state == NullableFlowState.
MaybeNull
)
9693
return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.MaybeDefault : NullableFlowState.
MaybeNull
;
9706
if (state == NullableFlowState.
MaybeNull
)
9716
if (state == NullableFlowState.
MaybeNull
)
12495
node.IsAddition ? GetState(ref this.State, memberSlot).Meet(ResultType.State) : NullableFlowState.
MaybeNull
);
13245
(true, false) => NullableFlowState.
MaybeNull
,
13274
NullableFlowState.
MaybeNull
=> (true, false),
13373
var mayBeNull = GetValue(i) is NullableFlowState.
MaybeNull
or NullableFlowState.MaybeDefault;
13404
NullableFlowState.
MaybeNull
=> "?",
Symbols\ConstraintsHelper.cs (4)
1237
return type.IsNullableTypeOrTypeParameter() ? NullableFlowState.
MaybeNull
: NullableFlowState.NotNull;
1242
return type.IsTypeParameterDisallowingAnnotationInCSharp8() ? NullableFlowState.MaybeDefault : NullableFlowState.
MaybeNull
;
1264
return result ?? NullableFlowState.
MaybeNull
;
1296
return state == NullableFlowState.
MaybeNull
;
Symbols\NullableFlowStateExtensions.cs (3)
19
/// The result is <see cref="NullableFlowState.
MaybeNull
"/> if either operand is that.
33
CSharp.NullableFlowState.
MaybeNull
=> CodeAnalysis.NullableFlowState.MaybeNull,
44
CodeAnalysis.NullableFlowState.MaybeNull => CSharp.NullableFlowState.
MaybeNull
,
Symbols\TypeWithAnnotations.cs (3)
821
return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, NullableAnnotation.NotAnnotated => NullableFlowState.
MaybeNull
, _ => NullableFlowState.NotNull };
829
return NullableFlowState.
MaybeNull
;
831
return annotation switch { NullableAnnotation.Annotated => NullableFlowState.
MaybeNull
, _ => NullableFlowState.NotNull };
Symbols\TypeWithState.cs (2)
20
public bool MayBeNull => State == NullableFlowState.
MaybeNull
;
36
var state = defaultState != NullableFlowState.NotNull && type?.CanContainNull() != false ? NullableFlowState.
MaybeNull
: NullableFlowState.NotNull;