34 references to MaybeDefault
Microsoft.CodeAnalysis.CSharp (34)
FlowAnalysis\NullableWalker.cs (24)
823
? NullableFlowState.
MaybeDefault
880
SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull);
2481
valueType.State == NullableFlowState.
MaybeDefault
;
3050
return TypeWithState.Create(parameterType.Type, NullableFlowState.
MaybeDefault
);
6182
SetResultType(node, TypeWithState.Create(resultType, NullableFlowState.
MaybeDefault
));
7134
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8148
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8169
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8188
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
9739
resultState = targetType?.IsTypeParameterDisallowingAnnotationInCSharp8() == true ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9757
return NullableFlowState.
MaybeDefault
;
9763
return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9767
case NullableFlowState.
MaybeDefault
:
9788
return NullableFlowState.
MaybeDefault
;
9798
return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9813
return NullableFlowState.
MaybeDefault
;
9823
return NullableFlowState.
MaybeDefault
;
12398
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
MaybeDefault
));
12474
resultState = NullableFlowState.
MaybeDefault
;
12512
SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.
MaybeDefault
: NullableFlowState.NotNull));
13371
(false, true) => NullableFlowState.
MaybeDefault
,
13400
NullableFlowState.
MaybeDefault
=> (false, true),
13498
var mayBeNull = GetValue(i) is NullableFlowState.MaybeNull or NullableFlowState.
MaybeDefault
;
13530
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;