Package checkers.quals

Contains qualifiers for type annotations used by the plugins included in this framework.

See:
Description

Enum Summary

DefaultLocation

Specifies the locations to which a Default annotation applies.

Annotation Types Summary

Default

Specifies that an annotation should be included on a type without having to provide it explicitly.

Package checkers.quals Description

Contains qualifiers for type annotations used by the plugins included in this framework.

See the checkers manual:

JSR 308 Type-checkers and Framework