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.
AssertNonNullIfTrue	Indicates that if the method returns true, then the value expressions are non-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.
NonNullVariable	Indicates that the method expects the provided static field references to be NonNull at the execution of the annotated method.
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.