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