File | source-method.str |
Author | Martin Bravenboer <martin@cs.uu.nl> |
Since | unknown |
Source Method
General | |
Lines of code | 187 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (0% documented) |
Overlay number | 0 |
Strategy number | 17 (82% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Constructor summary |
||
JavaSourceMethod(ATerm ) | n/a | source-method.str |
Strategy summary |
||
get-access | n/a | source-method.str |
get-arity | Returns the arity (number of arguments) of this method | source-method.str |
get-ast | n/a | source-method.str |
get-declared-exception-types | Returns a list of exceptions declared to be thrown by this method | source-method.str |
get-formal-parameter-types | Returns the formal parameters types of a method as source types | source-method.str |
get-formal-type-parameters | n/a | source-method.str |
get-modifiers | n/a | source-method.str |
get-reference-ast | n/a | source-method.str |
get-return-type | n/a | source-method.str |
get-simple-name | Returns the simple name of this method | source-method.str |
instanceof-JavaMethod | Succeeds if the current term is an instance of a Java method | source-method.str |
instanceof-JavaSourceMethod | Succeeds if the current term is an instance of Java source method | source-method.str |
is-static | Succeeds if a method is static | source-method.str |
is-variable-arity-method | Succeeds if this method takes a variable number of arguments | source-method.str |
is-variable-arity-param | Succeeds if this FormalParam has a variable arity | source-method.str |
new-source-method(ATerm ast) | Constructs a new source method | source-method.str |
set-reference-ast(ATerm refast) | n/a | source-method.str |
Strategy details |
|||||||||||||
ATerm | get-access | ||||||||||||
No information available.
|
|||||||||||||
ATerm | get-arity | ||||||||||||
Returns the arity (number of arguments) of this method |
|||||||||||||
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 | ||||||||||||
No information available.
|
|||||||||||||
ATerm | get-modifiers | ||||||||||||
No information available.
|
|||||||||||||
ATerm | get-return-type | ||||||||||||
No information available.
|
|||||||||||||
ATerm | get-simple-name | ||||||||||||
Returns the simple name of this method.
|
|||||||||||||
ATerm | instanceof-JavaMethod | ||||||||||||
Succeeds if the current term is an instance of a Java method. This alternative declares a JavaSourceMethod to be a JavaMethod. |
|||||||||||||
ATerm | instanceof-JavaSourceMethod | ||||||||||||
Succeeds if the current term is an instance of Java source method |
|||||||||||||
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 | is-variable-arity-param | ||||||||||||
Succeeds if this FormalParam has a variable arity.
|
|||||||||||||
ATerm | new-source-method(ATerm ast) | ||||||||||||
Constructs a new source method.
|
|||||||||||||