bytecode-method

File bytecode-method.str
Author unknown
Since unknown

Bytecode Method




Statistics


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

No information available.


type Method Object -> Access Modifier
todo Default access in interface is public: do we need to handle that for bytecode?

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

Returns the arity (number of arguments) of this method



 
ATerm get-attributes
File bytecode-method.str
Author unknown
Since unknown
 

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.


type BytecodeMethod Object -> List(Attribute)

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

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


todo Consider generic exceptions declared in a signature.
type Method -> List(Source type)

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

Returns the formal parameters types of a method as source types, considering the generic signature if it is available.


type Method -> List(Source Type)

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

Returns the list of formal parameter types of this method.If this is not a generic method, then the empty list is returned.


type BytecodeMethod Object -> List(TypeParam)

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

Returns the return type of this method, considering the generic signature if it is available.


type Method -> Source type

 
ATerm get-signature
File bytecode-method.str
Author unknown
Since unknown
 

Returns the generic signature of this method.


type BytecodeMethod Object -> MethodSignature

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

No information available.


type Method -> String

 
ATerm instanceof-JavaBytecodeMethod
File bytecode-method.str
Author unknown
Since unknown
 

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



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

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

This alternative declares a JavaBytecodeMethod to be a JavaMethod.



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

Succeeds if a method is static


type Method Object -> Method Object

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

Succeeds if this method takes a variable number of arguments.



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

Constructs a new bytecode method.


type _ -> Bytecode Method