34 references to MaybeDefault
Microsoft.CodeAnalysis.CSharp (34)
FlowAnalysis\NullableWalker.cs (24)
798
? NullableFlowState.
MaybeDefault
855
SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull);
2455
valueType.State == NullableFlowState.
MaybeDefault
;
3024
return TypeWithState.Create(parameterType.Type, NullableFlowState.
MaybeDefault
);
6120
SetResultType(node, TypeWithState.Create(resultType, NullableFlowState.
MaybeDefault
));
7071
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8090
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8111
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
8130
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
MaybeDefault
);
9634
resultState = targetType?.IsTypeParameterDisallowingAnnotationInCSharp8() == true ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9652
return NullableFlowState.
MaybeDefault
;
9658
return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9662
case NullableFlowState.
MaybeDefault
:
9683
return NullableFlowState.
MaybeDefault
;
9693
return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.
MaybeDefault
: NullableFlowState.MaybeNull;
9708
return NullableFlowState.
MaybeDefault
;
9718
return NullableFlowState.
MaybeDefault
;
12273
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
MaybeDefault
));
12349
resultState = NullableFlowState.
MaybeDefault
;
12387
SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.
MaybeDefault
: NullableFlowState.NotNull));
13246
(false, true) => NullableFlowState.
MaybeDefault
,
13275
NullableFlowState.
MaybeDefault
=> (false, true),
13373
var mayBeNull = GetValue(i) is NullableFlowState.MaybeNull or NullableFlowState.
MaybeDefault
;
13405
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;