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