All Packages

Package Summary
Package
Description
Contains a set of annotations that are used to identify and document a product's API.
This package provides nonnull and nullable annotations for fields and return values, similar to ParametersAreNonnullByDefault and ParametersAreNullableByDefault.
This package provides nonnull and nullable annotations for fields and return values, similar to ParametersAreNonnullByDefault and ParametersAreNullableByDefault, but based on Checker Framework annotations.