Package org.checkerframework.common.subtyping.qual

Annotation Types Summary

Annotation Type	Description
Bottom	A special annotation intended solely for representing the bottom type in the qualifier hierarchy.
Unqualified	A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf.value(), in a type qualifier declaration.