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