@Documented @Retention(SOURCE) @Target({METHOD,TYPE,CONSTRUCTOR}) public @interface TypeChecked
Modifier and Type | Optional Element | Description |
---|---|---|
String[] |
extensions |
The list of (classpath resources) paths to type checking DSL scripts, also known
as type checking extensions.
|
TypeCheckingMode |
value |
TypeCheckingMode value
String[] extensions