File | bytecode-constructor.str |
Author | Martin Bravenboer <martin@cs.uu.nl> |
Since | unknown |
Bytecode Constructor
General | |
Lines of code | 96 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (0% documented) |
Overlay number | 0 |
Strategy number | 13 (69% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Constructor summary |
||
JavaBytecodeConstructor(ATerm ) | n/a | bytecode-constructor.str |
Strategy summary |
||
bytecode-constructor-as-method(Strategy s) | Hack to reuse bytecode method code | bytecode-constructor.str |
get-access | n/a | bytecode-constructor.str |
get-arity | Returns the arity (number of arguments) of this constructor | bytecode-constructor.str |
get-ast | n/a | bytecode-constructor.str |
get-declared-exception-types | Returns a list of exceptions declared to be thrown by this method | bytecode-constructor.str |
get-formal-parameter-types | Returns the formal parameters types of a method as source types | bytecode-constructor.str |
get-formal-type-parameters | Returns the list of formal type parameters declared by this constructor | bytecode-constructor.str |
get-reference-ast | n/a | bytecode-constructor.str |
instanceof-JavaBytecodeConstructor | Succeeds if the current term is an instance of Java bytecode constructor | bytecode-constructor.str |
instanceof-JavaConstructor | Succeeds if the current term is an instance of a Java constructor | bytecode-constructor.str |
is-variable-arity-constructor | Succeeds if this constructor takes a variable number of arguments | bytecode-constructor.str |
new-bytecode-constructor(ATerm bytecode) | Constructs a new bytecode constructor | bytecode-constructor.str |
set-reference-ast(ATerm refast) | n/a | bytecode-constructor.str |
Strategy details |
|||||||||||
ATerm | bytecode-constructor-as-method(Strategy s) | ||||||||||
Hack to reuse bytecode method code. |
|||||||||||
ATerm | get-arity | ||||||||||
Returns the arity (number of arguments) of this constructor
|
|||||||||||
ATerm | get-declared-exception-types | ||||||||||
Returns a list of exceptions declared to be thrown by this method.
|
|||||||||||
ATerm | get-formal-parameter-types | ||||||||||
Returns the formal parameters types of a method as source types.
|
|||||||||||
ATerm | get-formal-type-parameters | ||||||||||
Returns the list of formal type parameters declared by this constructor.
|
|||||||||||
ATerm | instanceof-JavaBytecodeConstructor | ||||||||||
Succeeds if the current term is an instance of Java bytecode constructor |
|||||||||||
ATerm | instanceof-JavaConstructor | ||||||||||
Succeeds if the current term is an instance of a Java constructor. This alternative declares a JavaBytecodeConstructor to be a JavaConstructor. |
|||||||||||
ATerm | is-variable-arity-constructor | ||||||||||
Succeeds if this constructor takes a variable number of arguments. |
|||||||||||
ATerm | new-bytecode-constructor(ATerm bytecode) | ||||||||||
Constructs a new bytecode constructor.
|
|||||||||||