| Modifier and Type | Class and Description |
|---|---|
| public static @interface | TypeChecked.TypeCheckingInfo
This annotation is added by @TypeChecked on methods which have type checking turned on. |
| Modifier and Type | Method and Description |
|---|---|
| public String[] | Returns: an array of paths to groovy scripts that must be on compile classpathThe list of (classpath resources) paths to type checking DSL scripts, also known as type checking extensions. |
| public TypeCheckingMode |
| extensions | back to summary |
|---|---|
| public String[] extensions() The list of (classpath resources) paths to type checking DSL scripts, also known as type checking extensions.
| |
| value | back to summary |
|---|---|
| public TypeCheckingMode value() | |
| Modifier and Type | Method and Description |
|---|---|
| public String | |
| public int |
| inferredType | back to summary |
|---|---|
| public String inferredType() An encoded type information.
| |
| version | back to summary |
|---|---|
| public int version() Returns the type checker information protocol number. This is used if the format of the
string used in
| |