Uses of Class
checkers.quals.SubtypeOf

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.