source-constructor

File source-constructor.str
Author Martin Bravenboer <martin@cs.uu.nl>
Since unknown

Source Constructor




Statistics


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
File source-constructor.str
Author unknown
Since unknown
 

No information available.


type Constructor Object -> Access Modifier

 
ATerm get-arity
File source-constructor.str
Author unknown
Since unknown
 

Returns the arity (number of arguments) of this constructor



 
ATerm get-declared-exception-types
File source-constructor.str
Author unknown
Since unknown
 

Returns a list of exceptions declared to be thrown by thismethod.


type Constructor Object -> List(Source type)

 
ATerm get-formal-parameter-types
File source-constructor.str
Author unknown
Since unknown
 

Returns the formal parameters types of a method as source types.


todo Handle VarArityParam. What is its type?
type Constructor Object -> List(Source Type)

 
ATerm get-formal-type-parameters
File source-constructor.str
Author unknown
Since unknown
 

Returns the list of formal type parameters declared by this constructor.


type Constructor Object -> List(TypeParam)

 
ATerm get-modifiers
File source-constructor.str
Author unknown
Since unknown
 

Returns the modifiers of a source constructor.


type Constructor Object -> List(Modifier)

 
ATerm instanceof-JavaConstructor
File source-constructor.str
Author unknown
Since unknown
 

Succeeds if the current term is an instance of a Java constructor.

This alternative declares a JavaSourceConstructor to be a JavaConstructor.



 
ATerm instanceof-JavaSourceConstructor
File source-constructor.str
Author unknown
Since unknown
 

Succeeds if the current term is an instance of Java source constructor



 
ATerm is-variable-arity-constructor
File source-constructor.str
Author unknown
Since unknown
 

Succeeds if this constructor takes a variable number of arguments.



 
ATerm new-source-constructor(ATerm ast)
File source-constructor.str
Author unknown
Since unknown
 

Constructs a new source constructor.


type _ -> Source Constructor