source-method

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

Source Method




Statistics


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

No information available.


type Method Object -> Access Modifier

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

Returns the arity (number of arguments) of this method



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

Returns a list of exceptions declared to be thrown by this method.


type Method Object -> List(Source type)

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

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


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

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

No information available.


type SourceClass Object -> List(TypeParam)

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

No information available.


type Method Object -> List(Modifier)

 
ATerm get-return-type
File source-method.str
Author unknown
Since unknown
 

No information available.


todo Deprecated method dec head (array after head)
type Method Object -> Source Type

 
ATerm get-simple-name
File source-method.str
Author unknown
Since unknown
 

Returns the simple name of this method.


type Method Object -> String

 
ATerm instanceof-JavaMethod
File source-method.str
Author unknown
Since unknown
 

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

This alternative declares a JavaSourceMethod to be a JavaMethod.



 
ATerm instanceof-JavaSourceMethod
File source-method.str
Author unknown
Since unknown
 

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



 
ATerm is-static
File source-method.str
Author unknown
Since unknown
 

Succeeds if a method is static


type Method Object -> Method Object

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

Succeeds if this method takes a variable number of arguments.



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

Succeeds if this FormalParam has a variable arity.


type FormalParam -> ?

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

Constructs a new source method.


type _ -> Source Method Object