|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.objectweb.asm.ClassAdapter
net.sf.daileon.notsupported.AbstractAnnotationsCollector
net.sf.daileon.notsupported.AnnotationsCollector
class AnnotationsCollector
The AnnotationsCollector
class is responsible for visiting the
annotations of a particular class, as well as its fields and methods.
Classes visited by the AnnotationsCollector
should have domain
annotations, which are evaluated to their corresponding annotations and
prepared for transformations at bytecode level.
Field Summary | |
---|---|
private String |
className
The name of the class to be visted |
Fields inherited from class org.objectweb.asm.ClassAdapter |
---|
cv |
Constructor Summary | |
---|---|
AnnotationsCollector(org.objectweb.asm.ClassVisitor classVisitor)
Class constructor. |
Method Summary | |
---|---|
(package private) void |
setClassName(String className)
Sets the name of the class to be visited. |
void |
visitAttribute(org.objectweb.asm.Attribute attribute)
Visits the annotations of a given class, which will be verified. |
void |
visitField(int access,
String name,
String desc,
Object value,
org.objectweb.asm.Attribute attribute)
Visits a field of a given class. |
org.objectweb.asm.CodeVisitor |
visitMethod(int access,
String name,
String desc,
String[] exceptions,
org.objectweb.asm.Attribute attribute)
Visits a method of a given class. |
Methods inherited from class net.sf.daileon.notsupported.AbstractAnnotationsCollector |
---|
collect, setPath, setReplacer |
Methods inherited from class org.objectweb.asm.ClassAdapter |
---|
visit, visitEnd, visitInnerClass |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private String className
Constructor Detail |
---|
AnnotationsCollector(org.objectweb.asm.ClassVisitor classVisitor)
classVisitor
- The ClassVisitor object, provided by the
ClassTransformer.transform(String, String)
method.Method Detail |
---|
void setClassName(String className)
className
- The name of the class to be visited.public void visitAttribute(org.objectweb.asm.Attribute attribute)
visitAttribute
in interface org.objectweb.asm.ClassVisitor
visitAttribute
in class org.objectweb.asm.ClassAdapter
attribute
- The Attribute object (or the annotations at class level),
which may contain one or several annotations.public void visitField(int access, String name, String desc, Object value, org.objectweb.asm.Attribute attribute)
visitField
in interface org.objectweb.asm.ClassVisitor
visitField
in class org.objectweb.asm.ClassAdapter
access
- The access level of the field.name
- The name of the field.desc
- The description of the field.value
- The default value of the field.attribute
- The Attribute object (or the annotations that annotate the
field), which may contain one or several annotations.public org.objectweb.asm.CodeVisitor visitMethod(int access, String name, String desc, String[] exceptions, org.objectweb.asm.Attribute attribute)
visitMethod
in interface org.objectweb.asm.ClassVisitor
visitMethod
in class org.objectweb.asm.ClassAdapter
access
- The access level of the field.name
- The name of the field.desc
- The description of the field.exceptions
- The exceptions declared by the method.attribute
- The Attribute object (or the annotations that annotate the
method), which may contain one or several annotations.
null
, since the method is only visited so its
annotations can be evaluated and organized properly, if domain
annotations are found on it.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |