bytecode-constructor

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

Bytecode Constructor




Statistics


General
Lines of code 96
Stratego
Module number 1 (100% documented)
Constructor number 1 (0% documented)
Overlay number 0
Strategy number 13 (69% documented)
Rule number 0
DynamicRule number 0



Constructor summary


JavaBytecodeConstructor(ATerm ) n/a bytecode-constructor.str

Strategy summary


bytecode-constructor-as-method(Strategy s) Hack to reuse bytecode method code bytecode-constructor.str
get-access n/a bytecode-constructor.str
get-arity Returns the arity (number of arguments) of this constructor bytecode-constructor.str
get-ast n/a bytecode-constructor.str
get-declared-exception-types Returns a list of exceptions declared to be thrown by this method bytecode-constructor.str
get-formal-parameter-types Returns the formal parameters types of a method as source types bytecode-constructor.str
get-formal-type-parameters Returns the list of formal type parameters declared by this constructor bytecode-constructor.str
get-reference-ast n/a bytecode-constructor.str
instanceof-JavaBytecodeConstructor Succeeds if the current term is an instance of Java bytecode constructor bytecode-constructor.str
instanceof-JavaConstructor Succeeds if the current term is an instance of a Java constructor bytecode-constructor.str
is-variable-arity-constructor Succeeds if this constructor takes a variable number of arguments bytecode-constructor.str
new-bytecode-constructor(ATerm bytecode) Constructs a new bytecode constructor bytecode-constructor.str
set-reference-ast(ATerm refast) n/a bytecode-constructor.str



Strategy details


ATerm bytecode-constructor-as-method(Strategy s)
File bytecode-constructor.str
Author unknown
Since unknown
 

Hack to reuse bytecode method code.



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

Returns the arity (number of arguments) of this constructor


todo A bytecode constructor is just a method, so this works for now

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

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


type Constructor Object -> List(Source type)

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

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


type ConstructorObject -> List(Source Type)

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

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


type Constructor Object -> List(TypeParam)

 
ATerm instanceof-JavaBytecodeConstructor
File bytecode-constructor.str
Author unknown
Since unknown
 

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



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

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

This alternative declares a JavaBytecodeConstructor to be a JavaConstructor.



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

Succeeds if this constructor takes a variable number of arguments.



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

Constructs a new bytecode constructor.


type _ -> Bytecode Constructor