@Documented @Retention(value=SOURCE) @Target(value={METHOD,TYPE,CONSTRUCTOR}) public @interface TypeChecked
| Modifier and Type | Optional Element and Description | 
|---|---|
| String[] | extensionsThe 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