Package checkers.nullness.quals

Annotation Types Summary

Annotation Type	Description
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.
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.
Pure	Indicates that if the method is a pure method, so calling it with the same parameters would yield 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.