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