bytecode-class

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

Bytecode Class




Statistics


General
Lines of code 315
Stratego
Module number 1 (100% documented)
Constructor number 1 (100% documented)
Overlay number 0
Strategy number 28 (57% documented)
Rule number 0
DynamicRule number 0



Constructor summary


JavaBytecodeClass(ATerm ) Identifier for BytecodeClass Objects bytecode-class.str

Strategy summary


apply-to-constructors-of-classtree(Strategy s) n/a bytecode-class.str
apply-to-fields-of-classtree(Strategy s) n/a bytecode-class.str
apply-to-methods-of-classtree(Strategy s) n/a bytecode-class.str
classtree-to-reference-ast(ATerm this) n/a bytecode-class.str
get-access n/a bytecode-class.str
get-access-flags n/a bytecode-class.str
get-attributes Returns the attributes of this bytecode class bytecode-class.str
get-formal-type-parameters n/a bytecode-class.str
get-location n/a bytecode-class.str
get-package n/a bytecode-class.str
get-reference-ast Returns the Reference AST of this source class bytecode-class.str
get-signature Returns the generic signature of this class bytecode-class.str
get-superclass-as-type Returns the super class of this class as a type bytecode-class.str
get-superinterfaces-as-type Returns the interfaces implemented by this class as types bytecode-class.str
init-declared-member-type-table n/a bytecode-class.str
init-get-declared-constructor-list Initializes the declared constructors list of a bytecode class bytecode-class.str
init-get-declared-field-list Initializes the field table of a bytecode class bytecode-class.str
init-get-declared-method-list Initializes the declared method table of a bytecode class bytecode-class.str
instanceof-JavaBytecodeClass Succeeds if this is a BytecodeClass Object bytecode-class.str
instanceof-JavaClass A BytecodeClass Object is a Class Object bytecode-class.str
is-interface Succeeds if this class is an interface bytecode-class.str
new-bytecode-class(ATerm simple-name) Construct a new bytecode class object bytecode-class.str
read-reference-ast-from-location n/a bytecode-class.str
report-reading-class n/a bytecode-class.str
set-ast(ATerm ast) n/a bytecode-class.str
set-location(ATerm loc) n/a bytecode-class.str
set-package(ATerm pkg) n/a bytecode-class.str
set-reference-ast(ATerm ref-ast) n/a bytecode-class.str



Constructor details


JavaBytecodeClass(ATerm )
File bytecode-class.str
Author unknown
Since unknown
 

Identifier for BytecodeClass Objects.



 

Strategy details


ATerm get-access
File bytecode-class.str
Author unknown
Since unknown
 

No information available.


todo Is default access necessary for bytecode classes?
todo Do interfaces have default access set to public in bytecode?
type BytecodeClass Object -> Access Modifier

 
ATerm get-access-flags
File bytecode-class.str
Author unknown
Since unknown
 

No information available.


type BytecodeClass Object -> List(AccessFlags)

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

Returns the attributes of this bytecode class.

Note: attributes are a bytecode-level construct and are notdirectly related to Java source annotations. This strategy returnsthe *bytecode* attributes.


type BytecodeClass Object -> List(Attribute)

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

No information available.


type BytecodeClass Object -> List(TypeParam)

 
ATerm get-reference-ast
File bytecode-class.str
Author unknown
Since unknown
 

Returns the Reference AST of this source class.


type BytecodeClass Object -> ReferenceAST(ClassTree)

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

Returns the generic signature of this class.


type BytecodeClass Object - ClassSignature

 
ATerm get-superclass-as-type
File bytecode-class.str
Author unknown
Since unknown
 

Returns the super class of this class as a type.Fails if this class has no superclass (i.e. this class is java.lang.Object)


type Class Object -> Source Type

 
ATerm get-superinterfaces-as-type
File bytecode-class.str
Author unknown
Since unknown
 

Returns the interfaces implemented by this class as types.


type Class Object -> List(Source Type)

 
ATerm init-get-declared-constructor-list
File bytecode-class.str
Author unknown
Since unknown
 

Initializes the declared constructors list of a bytecode class.


type BytecodeClass Object -> List(BytecodeConstructor Object)

 
ATerm init-get-declared-field-list
File bytecode-class.str
Author unknown
Since unknown
 

Initializes the field table of a bytecode class.


type BytecodeClass Object -> List(BytecodeField Object)

 
ATerm init-get-declared-method-list
File bytecode-class.str
Author unknown
Since unknown
 

Initializes the declared method table of a bytecode class.


type BytecodeClass Object -> List(BytecodeMethod Object)

 
ATerm instanceof-JavaBytecodeClass
File bytecode-class.str
Author unknown
Since unknown
 

Succeeds if this is a BytecodeClass Object.



 
ATerm instanceof-JavaClass
File bytecode-class.str
Author unknown
Since unknown
 

A BytecodeClass Object is a Class Object.



 
ATerm is-interface
File bytecode-class.str
Author unknown
Since unknown
 

Succeeds if this class is an interface.


type BytecodeClass Object -> BytecodeClass Object

 
ATerm new-bytecode-class(ATerm simple-name)
File bytecode-class.str
Author unknown
Since unknown
 
Parameters
ATerm simple-name String

Construct a new bytecode class object


type _ -> BytecodeClass Object

 
ATerm set-reference-ast(ATerm ref-ast)
File bytecode-class.str
Author unknown
Since unknown
 
Parameters
ATerm ref-ast ReferenceAST(ClassTree)

No information available.


type BytecodeClass Object -> BytecodeClass Object