52 references to NotNull
Microsoft.CodeAnalysis.CSharp (37)
FlowAnalysis\NullableWalker.cs (25)
822
var badState = symbolType.Type.IsPossiblyNullableReferenceTypeTypeParameter() && (annotations & FlowAnalysisAnnotations.
NotNull
) == 0
1319
var hasNotNull = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
1383
bool hasNotNullWhenTrue = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenTrue;
1391
bool hasNotNullWhenFalse = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenFalse;
2524
bool overridingHasNotNull = (overridingAnnotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
2525
bool overriddenHasNotNull = (overriddenAnnotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
2590
var unconditionalAnnotationWhenTrue = makeUnconditionalAnnotationCore(annotations, FlowAnalysisAnnotations.NotNullWhenTrue, FlowAnalysisAnnotations.
NotNull
);
2594
var unconditionalAnnotationWhenFalse = makeUnconditionalAnnotationCore(annotations, FlowAnalysisAnnotations.NotNullWhenFalse, FlowAnalysisAnnotations.
NotNull
);
7109
return annotations & (FlowAnalysisAnnotations.MaybeNull | FlowAnalysisAnnotations.
NotNull
);
7126
bool hasNotNullWhenTrue = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenTrue;
7127
bool hasNotNullWhenFalse = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenFalse;
7130
annotations &= ~FlowAnalysisAnnotations.
NotNull
;
7168
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
7188
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
8145
return FlowAnalysisAnnotations.
NotNull
;
8192
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
10714
=> ToInwardAnnotations(GetParameterAnnotations(parameter) & ~FlowAnalysisAnnotations.
NotNull
), // NotNull is enforced upon method exit
10750
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)
811
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)
4214
Assert.Equal(FlowAnalysisAnnotations.MaybeNull | FlowAnalysisAnnotations.
NotNull
, lambdas[0].ReturnTypeFlowAnalysisAnnotations);
Semantics\NullableReferenceTypesTests.cs (14)
20678
VerifyAnnotationsAndMetadata(c, "C.op_Equality",
NotNull
, None);
20724
VerifyAnnotationsAndMetadata(c, "C.op_Equality", None,
NotNull
);
30312
Assert.Equal(FlowAnalysisAnnotations.MaybeNull | FlowAnalysisAnnotations.
NotNull
, getter.ReturnTypeFlowAnalysisAnnotations);
38612
VerifyAnnotationsAndMetadata(c, "C.MyIsNullOrEmpty", NotNullWhenFalse,
NotNull
);
38641
VerifyAnnotationsAndMetadata(c, "C.MyIsNullOrEmpty",
NotNull
);
38662
VerifyAnnotationsAndMetadata(c, "C.ThrowIfNull", None,
NotNull
);
38906
VerifyAnnotationsAndMetadata(c, "Interface.ThrowIfNull", None,
NotNull
);
38944
VerifyAnnotationsAndMetadata(c, "Interface.ThrowIfNull", None,
NotNull
);
38977
VerifyAnnotationsAndMetadata(c, "C.ThrowIfNull", None,
NotNull
);
39221
VerifyAnnotations(c, "C.Bad",
NotNull
);
39222
VerifyAnnotations(c, "C.ThrowIfNull",
NotNull
);
39248
VerifyAnnotationsAndMetadata(c, "C.ThrowIfNull",
NotNull
);
39499
VerifyAnnotationsAndMetadata(c, "C.ThrowIfNull",
NotNull
, None);
48006
Assert.Equal(FlowAnalysisAnnotations.
NotNull
, getter.ReturnTypeFlowAnalysisAnnotations);