|
||||||||||
| 前 次 | フレームあり フレームなし | |||||||||
| 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. |
|
||||||||||
| 前 次 | フレームあり フレームなし | |||||||||