| File | array-class.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 196 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 3 (0% documented) |
| Overlay number | 0 |
| Strategy number | 17 (94% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| ArrayClasses(ATerm ) | n/a | array-class.str |
| ComponentTypeField(ATerm ) | n/a | array-class.str |
| JavaArrayClass(ATerm ) | n/a | array-class.str |
Strategy summary |
||
| fully-qualified-name | n/a | array-class.str |
| fully-qualified-name | n/a | array-class.str |
| get-array-class | Returns the array class for the given component type | array-class.str |
| get-array-class-hashtable | Returns the hashtable of array classes | array-class.str |
| get-canonical-name | n/a | array-class.str |
| get-component-type | Returns the component type of this array class | array-class.str |
| get-element-type | Returns the element type of this array class | array-class.str |
| get-superclass-as-type | Returns the superclass of this array class | array-class.str |
| get-superinterfaces-as-type | Returns the interfaces implemented by this array class | array-class.str |
| init-declared-constructor-list | Initializes the declared constructors list of the array class | array-class.str |
| init-declared-field-table | Initializes the field table of an array class | array-class.str |
| init-declared-method-table | Initializes the declared method table of an array class | array-class.str |
| instanceof-JavaArrayClass | Succeeds if the current term is an instance of a Java array class | array-class.str |
| instanceof-JavaClass | Succeeds if the current term is an instance of a Java class | array-class.str |
| is-array-class | Succeeds if this class represents an array class | array-class.str |
| is-interface | Succeeds if this class is an interface | array-class.str |
| new-array-class(ATerm component-type) | Constructs a new array class | array-class.str |
Strategy details |
|||||||||||||||
| ATerm | fully-qualified-name | ||||||||||||||
No information available.
|
|||||||||||||||
| ATerm | fully-qualified-name | ||||||||||||||
No information available.
|
|||||||||||||||
| ATerm | get-array-class | ||||||||||||||
Returns the array class for the given component type.
|
|||||||||||||||
| ATerm | get-array-class-hashtable | ||||||||||||||
Returns the hashtable of array classes.
|
|||||||||||||||
| ATerm | get-component-type | ||||||||||||||
Returns the component type of this array class.For example, the component type of int[][] is int[].
|
|||||||||||||||
| ATerm | get-element-type | ||||||||||||||
Returns the element type of this array class.For example, the element type of int[][] is int.
|
|||||||||||||||
| ATerm | get-superclass-as-type | ||||||||||||||
Returns the superclass of this array class.
|
|||||||||||||||
| ATerm | get-superinterfaces-as-type | ||||||||||||||
Returns the interfaces implemented by this array class.
|
|||||||||||||||
| ATerm | init-declared-constructor-list | ||||||||||||||
Initializes the declared constructors list of the array class.
|
|||||||||||||||
| ATerm | init-declared-field-table | ||||||||||||||
Initializes the field table of an array class.
|
|||||||||||||||
| ATerm | init-declared-method-table | ||||||||||||||
Initializes the declared method table of an array class.
|
|||||||||||||||
| ATerm | instanceof-JavaArrayClass | ||||||||||||||
Succeeds if the current term is an instance of a Java array class |
|||||||||||||||
| ATerm | instanceof-JavaClass | ||||||||||||||
Succeeds if the current term is an instance of a Java class. This alternative declares a JavaArrayClass to be a JavaClass. |
|||||||||||||||
| ATerm | is-array-class | ||||||||||||||
Succeeds if this class represents an array class.
|
|||||||||||||||
| ATerm | is-interface | ||||||||||||||
Succeeds if this class is an interface. |
|||||||||||||||
| ATerm | new-array-class(ATerm component-type) | ||||||||||||||
Constructs a new array class.
|
|||||||||||||||