Currently, the package contains annotations that specify nullness contracts for annotated elements.
Additionally, class Checks provides
utility methods for performing checked type conversions.
| Modifier and Type | Annotation and Description |
|---|---|
| public @interface | |
| public @interface | NonNullByDefault
Applying this annotation to a declaration has the effect that type references,
which are contained in the declaration, and for which a null annotation is otherwise lacking,
should be considered as |
| public @interface | NotOwning
This annotation allows to specify absence of responsibility for certain objects as they are passed from one method to another. |
| public @interface | |
| public @interface | Owning
This annotation allows to specify responsibility for certain objects as they are passed from one method to another. |
| Modifier and Type | Class and Description |
|---|---|
| public class | Checks
Utility functions intended for use with the null annotations defined in this package. |
| Modifier and Type | Enum and Description |
|---|---|
| public enum | DefaultLocation
Locations that can be affected by a |