|
||||||||||
| 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.AbstractTemplateAnnotationsCollector
net.sf.daileon.notsupported.EquivalentAnnotationsCollector
class EquivalentAnnotationsCollector
The EquivalentAnnotationsCollector is responsible for collecting
the annotations of the elements indicated in the template classes, which are
the elements that keep annotations that correspond to domain annotations. It
reads annotations of classes, fields or methods, according to the element
indicated in a particular template annotation.
ClassTemplate,
FieldTemplate,
MethodTemplate| Field Summary | |
|---|---|
private boolean |
classAnnotations
Informs whether the annotations that correspond to a domain annotation are at class level |
private boolean |
elementVisited
Controls the visiting of the element indicated in the template annotation |
private String |
fieldName
The field name to be read, as indicated in a FieldTemplate
annotation |
private String |
methodName
The method name to be read, as indicated in a MethodTemplate
annotation |
| Fields inherited from class org.objectweb.asm.ClassAdapter |
|---|
cv |
| Constructor Summary | |
|---|---|
EquivalentAnnotationsCollector(org.objectweb.asm.ClassVisitor classVisitor)
Class constructor. |
|
| Method Summary | |
|---|---|
(package private) String |
getFieldName()
Gets the field name to be visited. |
(package private) String |
getMethodName()
Gets the method name to be visited. |
(package private) boolean |
isClassAnnotations()
Informs whether the annotations are at class level. |
(package private) boolean |
isElementVisited()
Informs whether the element that keeps the annotations that correspond to a particular domain annotation has already been visited. |
(package private) void |
setClassAnnotations(boolean classAnnotations)
Defines whether the annotations that correspond to a particular domain annotation are at class level. |
(package private) void |
setFieldName(String fieldName)
Sets the field name to be visited. |
(package private) void |
setMethodName(String methodName)
Sets the method name to be visited. |
void |
visitAttribute(org.objectweb.asm.Attribute attribute)
Collects the annotations of a particular class at class level. |
void |
visitField(int access,
String name,
String desc,
Object value,
org.objectweb.asm.Attribute attribute)
Collects the annotations of a particular particular field, which is indicated via the setFieldName(String) method. |
org.objectweb.asm.CodeVisitor |
visitMethod(int access,
String name,
String desc,
String[] exceptions,
org.objectweb.asm.Attribute attribute)
Collects the annotations of a particular method, which is indicated via the setMethodName(String) method. |
| Methods inherited from class net.sf.daileon.notsupported.AbstractTemplateAnnotationsCollector |
|---|
collectAnnotations, getAnnotations, setAnnotations |
| 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 fieldName
FieldTemplate
annotation
private String methodName
MethodTemplate
annotation
private boolean classAnnotations
private boolean elementVisited
| Constructor Detail |
|---|
EquivalentAnnotationsCollector(org.objectweb.asm.ClassVisitor classVisitor)
classVisitor - The ClassVisitor object that visits the class.| Method Detail |
|---|
String getFieldName()
FieldTemplate annotation.
void setFieldName(String fieldName)
FieldTemplate annotation.
fieldName - The field name.String getMethodName()
MethodTemplate
annotation.
void setMethodName(String methodName)
MethodTemplate
annotation.
methodName - The method name.boolean isClassAnnotations()
boolean value that can be:
true if the annotations indicated by a template
annotation are at class level;false if the annotations indicated are not at
class level.void setClassAnnotations(boolean classAnnotations)
classAnnotations - A boolean value that can be:
true if the annotations to be evaluated are
at class level;false if the annotations to be evaluated are
not at class level.boolean isElementVisited()
boolean value that can be:
true if the element has already been analyzed;false if the element has not been analyzed.public void visitAttribute(org.objectweb.asm.Attribute attribute)
visitAttribute in interface org.objectweb.asm.ClassVisitorvisitAttribute in class org.objectweb.asm.ClassAdapter
public void visitField(int access,
String name,
String desc,
Object value,
org.objectweb.asm.Attribute attribute)
setFieldName(String) method.
visitField in interface org.objectweb.asm.ClassVisitorvisitField in class org.objectweb.asm.ClassAdapter
public org.objectweb.asm.CodeVisitor visitMethod(int access,
String name,
String desc,
String[] exceptions,
org.objectweb.asm.Attribute attribute)
setMethodName(String) method.
visitMethod in interface org.objectweb.asm.ClassVisitorvisitMethod in class org.objectweb.asm.ClassAdapter
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||