34 references to MaybeDefault
Microsoft.CodeAnalysis.CSharp (34)
FlowAnalysis\NullableWalker.cs (24)
821
? NullableFlowState.
MaybeDefault
878
SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull);
2479
valueType.State == NullableFlowState.
MaybeDefault
;
3048
return TypeWithState.Create(parameterType.Type, NullableFlowState.
MaybeDefault
);
6179
SetResultType(node, TypeWithState.Create(resultType, NullableFlowState.
MaybeDefault
));
7172
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8186
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8207
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8226
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
9777
resultState = targetType?.IsTypeParameterDisallowingAnnotationInCSharp8() == true ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9795
return NullableFlowState.
MaybeDefault
;
9801
return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9805
case NullableFlowState.
MaybeDefault
:
9826
return NullableFlowState.
MaybeDefault
;
9836
return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9851
return NullableFlowState.
MaybeDefault
;
9861
return NullableFlowState.
MaybeDefault
;
12436
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
MaybeDefault
));
12512
resultState = NullableFlowState.
MaybeDefault
;
12550
SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.
MaybeDefault
: NullableFlowState.NotNull));
13409
(false, true) => NullableFlowState.
MaybeDefault
,
13438
NullableFlowState.
MaybeDefault
=> (false, true),
13536
var mayBeNull = GetValue(i) is NullableFlowState.MaybeNull or NullableFlowState.
MaybeDefault
;
13568
NullableFlowState.
MaybeDefault
=> "??",
Symbols\ConstraintsHelper.cs (1)
1242
return type.IsTypeParameterDisallowingAnnotationInCSharp8() ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
Symbols\NullableFlowStateExtensions.cs (1)
34
CSharp.NullableFlowState.
MaybeDefault
=> CodeAnalysis.NullableFlowState.MaybeNull,
Symbols\TypeWithAnnotations.cs (3)
817
return annotation.IsAnnotated() ? NullableFlowState.
MaybeDefault
: NullableFlowState.NotNull;
821
return annotation switch { NullableAnnotation.Annotated => NullableFlowState.
MaybeDefault
, NullableAnnotation.NotAnnotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull };
825
return annotation switch { NullableAnnotation.Annotated => NullableFlowState.
MaybeDefault
, _ => NullableFlowState.NotNull };
Symbols\TypeWithState.cs (5)
25
return Create(type, NullableFlowState.
MaybeDefault
);
30
if (defaultState == NullableFlowState.
MaybeDefault
&&
50
state = NullableFlowState.
MaybeDefault
;
72
Debug.Assert(state != NullableFlowState.
MaybeDefault
|| type is null || type.IsTypeParameterDisallowingAnnotationInCSharp8());
90
return (State == NullableFlowState.
MaybeDefault
|| asAnnotatedType) ? type.SetIsAnnotated(compilation) : type;