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.
|
|||||||||||||||