bytecode-field

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

Bytecode Field




Statistics


General
Lines of code 140
Stratego
Module number 1 (100% documented)
Constructor number 1 (0% documented)
Overlay number 0
Strategy number 12 (75% documented)
Rule number 0
DynamicRule number 0



Constructor summary


JavaBytecodeField(ATerm ) n/a bytecode-field.str

Strategy summary


get-access n/a bytecode-field.str
get-access-flags Returns the access flags of a field bytecode-field.str
get-ast n/a bytecode-field.str
get-attributes Returns the attributes of this bytecode field bytecode-field.str
get-reference-ast n/a bytecode-field.str
get-signature Returns the generic signature of this field bytecode-field.str
get-type Returns the type of a field bytecode-field.str
instanceof-JavaBytecodeField Succeeds if the current term is an instance of Java bytecode method bytecode-field.str
instanceof-JavaField Succeeds if the current term is an instance of a Java field bytecode-field.str
is-static Succeeds if a field is static bytecode-field.str
new-bytecode-field(ATerm bytecode) Constructs a new bytecode field bytecode-field.str
set-reference-ast(ATerm refast) n/a bytecode-field.str



Strategy details


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

No information available.


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

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

Returns the access flags of a field.


type Field -> List(AccessFlag)

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

Returns the attributes of this bytecode field.

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


type BytecodeField Object -> List(Attribute)

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

Returns the generic signature of this field.


type BytecodeField Object -> FieldSignature

 
ATerm get-type
File bytecode-field.str
Author unknown
Since unknown
 

Returns the type of a field.


type Field -> Source Type

 
ATerm instanceof-JavaBytecodeField
File bytecode-field.str
Author unknown
Since unknown
 

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



 
ATerm instanceof-JavaField
File bytecode-field.str
Author unknown
Since unknown
 

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

This alternative declares a JavaBytecodeField to be a JavaField.



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

Succeeds if a field is static


type Field -> Field

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

Constructs a new bytecode field.


type _ -> Bytecode Field