|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SubtypeOf | |
---|---|
checkers.quals | Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers). |
Uses of SubtypeOf in checkers.quals |
---|
Classes in checkers.quals with annotations of type SubtypeOf | |
---|---|
interface |
Unqualified
A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to value() ,
in the type qualifiers declarations. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |