TypeChecked.TypeCheckingInfo (Groovy 2.4.15)

Skip navigation links

All Classes

SEARCH:

Summary:
Field |
Required |
Optional

Detail:
Field |
Element

```
@Retention(RUNTIME)
@Target(METHOD)
public static @interface TypeChecked.TypeCheckingInfo
```
This annotation is added by @TypeChecked on methods which have type checking turned on. It is used to embed type information into binary, so that the type checker can use this information, if available, for precompiled classes.

- Required Element Summary
  
  Required Elements
  Modifier and Type Required Element Description
  
  java.lang.String inferredType
  An encoded type information.
- Optional Element Summary
  
  Optional Elements
  Modifier and Type Optional Element Description
  
  int version
  Returns the type checker information protocol number.

- Element Detail
  - inferredType
```
java.lang.String inferredType
```
    An encoded type information.
    
    Returns:
    
    the inferred type
- - version
```
int version
```
    Returns the type checker information protocol number. This is used if the format of the string used in inferredType() changes.
    
    Returns:
    
    the protocol version
    
    Default:
    
    0

Skip navigation links

Copyright © 2003-2018 The Apache Software Foundation. All rights reserved.

All Classes

Summary:
Field |
Required |
Optional

Detail:
Field |
Element