Package checkers.nullness.quals

Annotation Types Summary

Annotation Type	Description
AssertNonNullAfter	Indicates that if the method terminates successfully, the value expressions are non-null.
AssertNonNullIfFalse	Indicates that if the method returns false, then the value expressions are non-null.
AssertNonNullIfTrue	Indicates that if the method returns true, then the value expressions are non-null.
AssertParametersNonNull	Indicates that the method throws an exception if any of its parameters is null.
Covariant	TODO: doc.
KeyFor	Indicates that the annotated reference of an Object that is a key in a map.
KeyForBottom	TODO: the bottom type for the KeyFor system.
LazyNonNull	Indicates that a field is lazily initialized to a non-null value.
NonNull	Indicates that a variable should never have a null value.
NonNullOnEntry	Indicates a method precondition: the method expects the specified variables (typically field references) to be non-null when the annotated method is invoked.
NonRaw	A method receiver annotation that indicates that non-null fields might be null within the body of the method, e.g., if this is Raw, this.field might be null even if field was declared to be NonNull.
Nullable	Indicates that a variable may have a null value.
PolyNull	A polymorphic qualifier for the Nullness type system.
PolyRaw	A polymorphic qualifier for the Rawness type system.
Pure	Indicates that if the method is a pure method, so calling it multiple times with the same arguments yields the same results.
Raw	A method receiver annotation that indicates that non-null fields might be null within the body of the method, e.g., if this is Raw, this.field might be null even if field was declared to be NonNull.