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.
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.