array-class

File array-class.str
Author unknown
Since unknown
No information available.




Statistics


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
File array-class.str
Author unknown
Since unknown
 

No information available.


type Type -> Name

 
ATerm fully-qualified-name
File array-class.str
Author unknown
Since unknown
 

No information available.


type Type -> Name

 
ATerm get-array-class
File array-class.str
Author unknown
Since unknown
 

Returns the array class for the given component type.


type Type -> Class Object

 
ATerm get-array-class-hashtable
File array-class.str
Author unknown
Since unknown
 

Returns the hashtable of array classes.


type _ -> Hashtable(Type, Class Object)

 
ATerm get-component-type
File array-class.str
Author unknown
Since unknown
 

Returns the component type of this array class.For example, the component type of int[][] is int[].


type ArrayClass Object -> Type

 
ATerm get-element-type
File array-class.str
Author unknown
Since unknown
 

Returns the element type of this array class.For example, the element type of int[][] is int.


type ArrayClass Object -> Type

 
ATerm get-superclass-as-type
File array-class.str
Author unknown
Since unknown
 

Returns the superclass of this array class.


type ArrayClass Object -> Source Type

 
ATerm get-superinterfaces-as-type
File array-class.str
Author unknown
Since unknown
 

Returns the interfaces implemented by this array class.


type ArrayClass Object -> List(Source Type)

 
ATerm init-declared-constructor-list
File array-class.str
Author unknown
Since unknown
 

Initializes the declared constructors list of the array class.


type ArrayClass Object -> ArrayClass Object

 
ATerm init-declared-field-table
File array-class.str
Author unknown
Since unknown
 

Initializes the field table of an array class.


todo Maybe use a different field subclass here.
todo The fields can be shared between all array classes.
type ArrayClass Object -> ArrayClass Object

 
ATerm init-declared-method-table
File array-class.str
Author unknown
Since unknown
 

Initializes the declared method table of an array class.


todo Maybe use a different method subclass here.
todo Add the clone method
type ArrayClass Object -> ArrayClass Object

 
ATerm instanceof-JavaArrayClass
File array-class.str
Author unknown
Since unknown
 

Succeeds if the current term is an instance of a Java array class



 
ATerm instanceof-JavaClass
File array-class.str
Author unknown
Since unknown
 

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
File array-class.str
Author unknown
Since unknown
 

Succeeds if this class represents an array class.


type Class Object -> Class Object

 
ATerm is-interface
File array-class.str
Author unknown
Since unknown
 

Succeeds if this class is an interface.



 
ATerm new-array-class(ATerm component-type)
File array-class.str
Author unknown
Since unknown
 
Parameters
ATerm component-type Component type of this array class.

Constructs a new array class.


type _ -> Class