Package checkers.nullness.quals

Annotation Types Summary

Annotation Type	Description
AssertNonNull	Indicates that the method throws an exception if any of its parameters is null.
LazyNonNull	Indicates that a field is lazily initialized to a non-null value.
NonNull	Indicates that a variable should never have a null value.
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.
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.