File | bytecode-method.str |
Author | unknown |
Since | unknown |
Bytecode Method
General | |
Lines of code | 208 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 2 (0% documented) |
Overlay number | 0 |
Strategy number | 19 (73% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Constructor summary |
||
GenericSignature(ATerm ) | n/a | bytecode-method.str |
JavaBytecodeMethod(ATerm ) | n/a | bytecode-method.str |
Strategy summary |
||
get-access | n/a | bytecode-method.str |
get-access-flags | n/a | bytecode-method.str |
get-arity | Returns the arity (number of arguments) of this method | bytecode-method.str |
get-ast | n/a | bytecode-method.str |
get-attributes | Returns the attributes of this bytecode method | bytecode-method.str |
get-declared-exception-types | Returns a list of exceptions declared to be thrown by this method | bytecode-method.str |
get-formal-parameter-types | Returns the formal parameters types of a method as source types, considering the generic signature if it is available | bytecode-method.str |
get-formal-type-parameters | Returns the list of formal parameter types of this method | bytecode-method.str |
get-reference-ast | n/a | bytecode-method.str |
get-return-type | Returns the return type of this method, considering the generic signature if it is available | bytecode-method.str |
get-signature | Returns the generic signature of this method | bytecode-method.str |
get-simple-name | n/a | bytecode-method.str |
if-signature(Strategy then, Strategy else) | n/a | bytecode-method.str |
instanceof-JavaBytecodeMethod | Succeeds if the current term is an instance of Java bytecode method | bytecode-method.str |
instanceof-JavaMethod | Succeeds if the current term is an instance of a Java method | bytecode-method.str |
is-static | Succeeds if a method is static | bytecode-method.str |
is-variable-arity-method | Succeeds if this method takes a variable number of arguments | bytecode-method.str |
new-bytecode-method(ATerm bytecode) | Constructs a new bytecode method | bytecode-method.str |
set-reference-ast(ATerm refast) | n/a | bytecode-method.str |
Strategy details |
|||||||||||||
ATerm | get-access | ||||||||||||
No information available.
|
|||||||||||||
ATerm | get-arity | ||||||||||||
Returns the arity (number of arguments) of this method |
|||||||||||||
ATerm | get-attributes | ||||||||||||
Returns the attributes of this bytecode method. Note: attributes are a bytecode-level construct and are notdirectly related to Java source annotations. This strategy returnsthe *bytecode* attributes.
|
|||||||||||||
ATerm | get-declared-exception-types | ||||||||||||
Returns a list of exceptions declared to be thrown by thismethod.
|
|||||||||||||
ATerm | get-formal-parameter-types | ||||||||||||
Returns the formal parameters types of a method as source types, considering the generic signature if it is available.
|
|||||||||||||
ATerm | get-formal-type-parameters | ||||||||||||
Returns the list of formal parameter types of this method.If this is not a generic method, then the empty list is returned.
|
|||||||||||||
ATerm | get-return-type | ||||||||||||
Returns the return type of this method, considering the generic signature if it is available.
|
|||||||||||||
ATerm | get-signature | ||||||||||||
Returns the generic signature of this method.
|
|||||||||||||
ATerm | get-simple-name | ||||||||||||
No information available.
|
|||||||||||||
ATerm | instanceof-JavaBytecodeMethod | ||||||||||||
Succeeds if the current term is an instance of Java bytecode method |
|||||||||||||
ATerm | instanceof-JavaMethod | ||||||||||||
Succeeds if the current term is an instance of a Java method. This alternative declares a JavaBytecodeMethod to be a JavaMethod. |
|||||||||||||
ATerm | is-static | ||||||||||||
Succeeds if a method is static
|
|||||||||||||
ATerm | is-variable-arity-method | ||||||||||||
Succeeds if this method takes a variable number of arguments. |
|||||||||||||
ATerm | new-bytecode-method(ATerm bytecode) | ||||||||||||
Constructs a new bytecode method.
|
|||||||||||||