52 references to NotNull
Microsoft.CodeAnalysis.CSharp (37)
FlowAnalysis\NullableWalker.cs (25)
820
var badState = symbolType.Type.IsPossiblyNullableReferenceTypeTypeParameter() && (annotations & FlowAnalysisAnnotations.
NotNull
) == 0
1317
var hasNotNull = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
1381
bool hasNotNullWhenTrue = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenTrue;
1389
bool hasNotNullWhenFalse = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenFalse;
2522
bool overridingHasNotNull = (overridingAnnotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
2523
bool overriddenHasNotNull = (overriddenAnnotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
2588
var unconditionalAnnotationWhenTrue = makeUnconditionalAnnotationCore(annotations, FlowAnalysisAnnotations.NotNullWhenTrue, FlowAnalysisAnnotations.
NotNull
);
2592
var unconditionalAnnotationWhenFalse = makeUnconditionalAnnotationCore(annotations, FlowAnalysisAnnotations.NotNullWhenFalse, FlowAnalysisAnnotations.
NotNull
);
7106
return annotations & (FlowAnalysisAnnotations.MaybeNull | FlowAnalysisAnnotations.
NotNull
);
7123
bool hasNotNullWhenTrue = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenTrue;
7124
bool hasNotNullWhenFalse = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenFalse;
7127
annotations &= ~FlowAnalysisAnnotations.
NotNull
;
7165
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
7185
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
8142
return FlowAnalysisAnnotations.
NotNull
;
8189
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
10711
=> ToInwardAnnotations(GetParameterAnnotations(parameter) & ~FlowAnalysisAnnotations.
NotNull
), // NotNull is enforced upon method exit
10747
if ((outwardAnnotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
Symbols\Metadata\PE\PEFieldSymbol.cs (4)
55
Debug.Assert((value & ~(FlowAnalysisAnnotations.DisallowNull | FlowAnalysisAnnotations.AllowNull | FlowAnalysisAnnotations.MaybeNull | FlowAnalysisAnnotations.
NotNull
)) == 0);
61
if ((value & FlowAnalysisAnnotations.
NotNull
) != 0) bitsToSet |= PackedFlags.HasNotNullAttribute;
73
if ((theBits & PackedFlags.HasNotNullAttribute) != 0) value |= FlowAnalysisAnnotations.
NotNull
;
421
if (module.HasAttribute(handle, AttributeDescription.NotNullAttribute)) annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Metadata\PE\PEParameterSymbol.cs (1)
805
annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Source\FieldSymbolWithAttributesAndModifiers.cs (1)
256
if (attributeData.HasNotNullAttribute) annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Source\SourceComplexParameterSymbol.cs (1)
180
annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Source\SourceMethodSymbolWithAttributes.cs (1)
1637
annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Source\SourcePropertyAccessorSymbol.cs (2)
371
result |= FlowAnalysisAnnotations.
NotNull
;
810
if ((annotations & FlowAnalysisAnnotations.
NotNull
) != 0)
Symbols\TypeWithState.cs (2)
52
else if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (15)
Semantics\LambdaTests.cs (1)
4209
Assert.Equal(FlowAnalysisAnnotations.MaybeNull | FlowAnalysisAnnotations.
NotNull
, lambdas[0].ReturnTypeFlowAnalysisAnnotations);
Semantics\NullableReferenceTypesTests.cs (14)
20675
VerifyAnnotationsAndMetadata(c, "C.op_Equality",
NotNull
, None);
20721
VerifyAnnotationsAndMetadata(c, "C.op_Equality", None,
NotNull
);
30309
Assert.Equal(FlowAnalysisAnnotations.MaybeNull | FlowAnalysisAnnotations.
NotNull
, getter.ReturnTypeFlowAnalysisAnnotations);
38609
VerifyAnnotationsAndMetadata(c, "C.MyIsNullOrEmpty", NotNullWhenFalse,
NotNull
);
38638
VerifyAnnotationsAndMetadata(c, "C.MyIsNullOrEmpty",
NotNull
);
38659
VerifyAnnotationsAndMetadata(c, "C.ThrowIfNull", None,
NotNull
);
38903
VerifyAnnotationsAndMetadata(c, "Interface.ThrowIfNull", None,
NotNull
);
38941
VerifyAnnotationsAndMetadata(c, "Interface.ThrowIfNull", None,
NotNull
);
38974
VerifyAnnotationsAndMetadata(c, "C.ThrowIfNull", None,
NotNull
);
39218
VerifyAnnotations(c, "C.Bad",
NotNull
);
39219
VerifyAnnotations(c, "C.ThrowIfNull",
NotNull
);
39245
VerifyAnnotationsAndMetadata(c, "C.ThrowIfNull",
NotNull
);
39496
VerifyAnnotationsAndMetadata(c, "C.ThrowIfNull",
NotNull
, None);
48003
Assert.Equal(FlowAnalysisAnnotations.
NotNull
, getter.ReturnTypeFlowAnalysisAnnotations);