クラス
checkers.quals.SubtypeOf の使用

SubtypeOf を使用しているパッケージ
checkers.quals Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers). 
 

checkers.quals での SubtypeOf の使用
 

SubtypeOf 型の注釈を持つ checkers.quals のメソッド
 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.