37 references to NotNull
Microsoft.CodeAnalysis.CSharp (37)
FlowAnalysis\NullableWalker.cs (25)
783
var badState = symbolType.Type.IsPossiblyNullableReferenceTypeTypeParameter() && (annotations & FlowAnalysisAnnotations.
NotNull
) == 0
1207
var hasNotNull = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
1271
bool hasNotNullWhenTrue = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenTrue;
1279
bool hasNotNullWhenFalse = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenFalse;
2400
bool overridingHasNotNull = (overridingAnnotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
2401
bool overriddenHasNotNull = (overriddenAnnotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
;
2466
var unconditionalAnnotationWhenTrue = makeUnconditionalAnnotationCore(annotations, FlowAnalysisAnnotations.NotNullWhenTrue, FlowAnalysisAnnotations.
NotNull
);
2470
var unconditionalAnnotationWhenFalse = makeUnconditionalAnnotationCore(annotations, FlowAnalysisAnnotations.NotNullWhenFalse, FlowAnalysisAnnotations.
NotNull
);
6585
return annotations & (FlowAnalysisAnnotations.MaybeNull | FlowAnalysisAnnotations.
NotNull
);
6601
bool hasNotNullWhenTrue = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenTrue;
6602
bool hasNotNullWhenFalse = (annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.NotNullWhenFalse;
6605
annotations &= ~FlowAnalysisAnnotations.
NotNull
;
6644
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
6664
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
7590
return FlowAnalysisAnnotations.
NotNull
;
7637
if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)
10039
=> ToInwardAnnotations(GetParameterAnnotations(parameter) & ~FlowAnalysisAnnotations.
NotNull
), // NotNull is enforced upon method exit
10075
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)
809
annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Source\FieldSymbolWithAttributesAndModifiers.cs (1)
254
if (attributeData.HasNotNullAttribute) annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Source\SourceComplexParameterSymbol.cs (1)
175
annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Source\SourceMethodSymbolWithAttributes.cs (1)
1623
annotations |= FlowAnalysisAnnotations.
NotNull
;
Symbols\Source\SourcePropertyAccessorSymbol.cs (2)
370
result |= FlowAnalysisAnnotations.
NotNull
;
798
if ((annotations & FlowAnalysisAnnotations.
NotNull
) != 0)
Symbols\TypeWithState.cs (2)
52
else if ((annotations & FlowAnalysisAnnotations.
NotNull
) == FlowAnalysisAnnotations.
NotNull
)