119 references to NotNull
Microsoft.CodeAnalysis.CSharp (113)
Binder\Semantics\BestTypeInferrer.cs (1)
38
NullableFlowState result = NullableFlowState.
NotNull
;
FlowAnalysis\NullableWalker.cs (86)
235
private static readonly TypeWithState _invalidType = TypeWithState.Create(new UnsupportedMetadataTypeSymbol(), NullableFlowState.
NotNull
);
1994
return NullableFlowState.
NotNull
;
2027
return NullableFlowState.
NotNull
;
2057
return NullableFlowState.
NotNull
;
2403
case NullableFlowState.
NotNull
:
2778
NullableFlowState.
NotNull
;
2826
/// and the new state is not <see cref="NullableFlowState.
NotNull
"/>, this method should be called to perform the
2834
if (newState != NullableFlowState.
NotNull
&& NonMonotonicState.HasValue)
3055
return TypeWithState.Create(parameterType.Type, NullableFlowState.
NotNull
);
3359
SetState(ref state, slot, NullableFlowState.
NotNull
);
3856
SetResultType(node, TypeWithState.Create(null, NullableFlowState.
NotNull
));
3864
SetResultType(node, TypeWithState.Create(null, NullableFlowState.
NotNull
));
4036
return NullableFlowState.
NotNull
;
4156
Debug.Assert(resultState == NullableFlowState.
NotNull
);
4196
return (-1, NullableFlowState.
NotNull
, inferInitialObjectStateAsContinuation(node, arguments, argumentResults, hasObjectInitializer));
4202
var resultState = NullableFlowState.
NotNull
;
4269
Debug.Assert(resultState == NullableFlowState.
NotNull
);
4403
var result = new VisitResult(objectInitializer.Type, NullableAnnotation.NotAnnotated, NullableFlowState.
NotNull
);
4630
SetAnalyzedNullability(node.ImplicitReceiverOpt, new VisitResult(node.ImplicitReceiverOpt.Type, NullableAnnotation.NotAnnotated, NullableFlowState.
NotNull
));
4688
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
NotNull
));
4693
var resultType = TypeWithState.Create(node.Type, NullableFlowState.
NotNull
);
4801
SetResultType(node, TypeWithState.Create(anonymousType, NullableFlowState.
NotNull
));
4833
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
NotNull
));
4838
SetResultType(node, TypeWithState.Create(arrayType, NullableFlowState.
NotNull
));
5116
NullableFlowState resultState = NullableFlowState.
NotNull
;
5147
resultState = NullableFlowState.
NotNull
;
5736
SetState(ref stateToUpdate, slot, NullableFlowState.
NotNull
);
5765
SetState(ref state, slot, NullableFlowState.
NotNull
);
5790
if (GetState(ref state, slot) == NullableFlowState.
NotNull
)
5822
SetState(ref state, childSlot, NullableFlowState.
NotNull
);
5901
SetState(ref this.State, leftSlot, NullableFlowState.
NotNull
);
5956
BoundNullCoalescingOperatorResultKind.NoCommonType => (node.Type, NullableFlowState.
NotNull
),
5961
BoundNullCoalescingOperatorResultKind.RightDynamicType => (rightResultType!, NullableFlowState.
NotNull
),
5978
return (rightType, NullableFlowState.
NotNull
);
5983
return (leftType, NullableFlowState.
NotNull
);
5998
TypeWithState.Create(leftType, NullableFlowState.
NotNull
),
6009
return (rightType, NullableFlowState.
NotNull
);
6505
SetResultType(node, TypeWithState.Create(rvalueType, NullableFlowState.
NotNull
));
6995
return NullableFlowState.
NotNull
;
7129
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
NotNull
);
7719
SetState(ref state, memberSlot, NullableFlowState.
NotNull
);
8154
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
NotNull
);
8173
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
NotNull
);
8192
return TypeWithState.Create(typeWithState.Type, NullableFlowState.
NotNull
);
9025
SetResultType(node, TypeWithState.Create(null, NullableFlowState.
NotNull
));
9032
SetState(ref this.State, slot, NullableFlowState.
NotNull
);
9050
SetResultType(node, TypeWithState.Create(tupleOpt, NullableFlowState.
NotNull
));
9172
SetState(ref this.State, targetFieldSlot, NullableFlowState.
NotNull
);
9189
SetState(ref this.State, targetFieldSlot, NullableFlowState.
NotNull
);
9425
NullableFlowState resultState = NullableFlowState.
NotNull
;
9457
resultState = NullableFlowState.
NotNull
;
9481
return TypeWithState.Create(targetType, NullableFlowState.
NotNull
);
9487
resultState = NullableFlowState.
NotNull
;
9491
resultState = NullableFlowState.
NotNull
;
9496
resultState = NullableFlowState.
NotNull
;
9536
resultState = NullableFlowState.
NotNull
;
9660
resultState = NullableFlowState.
NotNull
;
9734
resultState = NullableFlowState.
NotNull
;
9959
var resultType = TypeWithState.Create(targetType, NullableFlowState.
NotNull
);
10239
var result = TypeWithState.Create(delegateType, NullableFlowState.
NotNull
);
10536
var rvalueResult = TypeWithState.Create(node.Type, NullableFlowState.
NotNull
);
10956
var valueBeforeNullableWrapping = TypeWithState.Create(underlyingType.Type, NullableFlowState.
NotNull
);
11086
SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.
NotNull
));
11110
SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.
NotNull
));
11264
SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.
NotNull
));
11292
SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.
NotNull
));
11606
SetState(ref this.StateWhenTrue, containingSlot, NullableFlowState.
NotNull
);
11830
if (enumeratorReturnType.State != NullableFlowState.
NotNull
)
11911
var state = NullableFlowState.
NotNull
;
12108
TypeWithState.Create(node.Type, node.OperatorKind.IsLifted() ? argumentResult.State : NullableFlowState.
NotNull
);
12376
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
NotNull
));
12413
SetState(ref this.State, slot, NullableFlowState.
NotNull
);
12459
NullableFlowState resultState = NullableFlowState.
NotNull
;
12512
SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.MaybeDefault : NullableFlowState.
NotNull
));
12796
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
NotNull
));
12811
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
NotNull
));
12860
SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.
NotNull
));
12866
SetResultType(node, TypeWithState.Create(type, NullableFlowState.
NotNull
));
12934
SetState(ref this.State, slot, NullableFlowState.
NotNull
);
13023
Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { }, State: NullableFlowState.
NotNull
});
13328
SetValue(Id, index, useNotNullsAsDefault ? NullableFlowState.
NotNull
: walker.GetDefaultState(ref this, slot));
13360
return NullableFlowState.
NotNull
;
13369
(false, false) => NullableFlowState.
NotNull
, // Should not be reachable
13372
(true, true) => NullableFlowState.
NotNull
13401
NullableFlowState.
NotNull
=> (true, true),
13455
var oldValue = oldReachable ? GetValue(i) : NullableFlowState.
NotNull
;
FlowAnalysis\NullableWalker_Patterns.cs (2)
481
SetState(ref State, outputSlot, NullableFlowState.
NotNull
);
579
SetState(ref this.State, outputSlot, NullableFlowState.
NotNull
); // Slice value is assumed to be never null
Symbols\ConstraintsHelper.cs (5)
1233
return NullableFlowState.
NotNull
;
1237
return type.IsNullableTypeOrTypeParameter() ? NullableFlowState.MaybeNull : NullableFlowState.
NotNull
;
1244
return NullableFlowState.
NotNull
;
1249
return NullableFlowState.
NotNull
;
1269
if (state == NullableFlowState.
NotNull
)
Symbols\NullableFlowState.cs (1)
11
/// When in doubt we conservatively use <see cref="NullableFlowState.
NotNull
"/>
Symbols\NullableFlowStateExtensions.cs (6)
13
public static bool MayBeNull(this NullableFlowState state) => state != NullableFlowState.
NotNull
;
15
public static bool IsNotNull(this NullableFlowState state) => state == NullableFlowState.
NotNull
;
25
/// The result is <see cref="NullableFlowState.
NotNull
"/> if either operand is that.
32
CSharp.NullableFlowState.
NotNull
=> CodeAnalysis.NullableFlowState.NotNull,
42
CodeAnalysis.NullableFlowState.None => CSharp.NullableFlowState.
NotNull
,
43
CodeAnalysis.NullableFlowState.NotNull => CSharp.NullableFlowState.
NotNull
,
Symbols\TypeWithAnnotations.cs (4)
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
};
831
return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeNull, _ => NullableFlowState.
NotNull
};
Symbols\TypeWithState.cs (8)
21
public bool IsNotNull => State == NullableFlowState.
NotNull
;
36
var state = defaultState != NullableFlowState.
NotNull
&& type?.CanContainNull() != false ? NullableFlowState.MaybeNull : NullableFlowState.
NotNull
;
54
state = NullableFlowState.
NotNull
;
63
state = NullableFlowState.
NotNull
;
71
Debug.Assert(state == NullableFlowState.
NotNull
|| type?.CanContainNull() != false);
81
public TypeWithState WithNotNullState() => new TypeWithState(Type, NullableFlowState.
NotNull
);
83
public TypeWithState WithSuppression(bool suppress) => suppress ? new TypeWithState(Type, NullableFlowState.
NotNull
) : this;
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (6)
Semantics\NullableReferenceTypesTests.cs (6)
126921
var inputs = new[] { NullableFlowState.
NotNull
, NullableFlowState.MaybeNull };
126927
{ NullableFlowState.
NotNull
, NullableFlowState.MaybeNull },
126953
var inputs = new[] { NullableFlowState.
NotNull
, NullableFlowState.MaybeNull };
126958
{ NullableFlowState.
NotNull
, NullableFlowState.
NotNull
},
126959
{ NullableFlowState.
NotNull
, NullableFlowState.MaybeNull },