type annotation

type annotation

用例:
are used are class instance creation expressions (new), casts, implements clauses, and throws clauses

和普通的annotation区分开

type annotation 能做的更多。

pluggable type checkers(可插拔的 type checkers)

自定义编写
type-checking modules
(基于 Java Type System 编写)

你可能感兴趣的:(type annotation)