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