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