A B C D E F G H I J K M N P R S T V X

V

value - Variable in class net.sf.daileon.notsupported.FieldInformation

The default value of the field

visitAttribute(Attribute) - Method in class net.sf.daileon.notsupported.AbstractAnnotationsReplacer

Visits the annotations of a given class and calls the AbstractAnnotationsReplacerBase.handleElement(ElementRoot), so that their corresponding annotations can be organized.

visitAttribute(Attribute) - Method in class net.sf.daileon.notsupported.AnnotationsCollector

Visits the annotations of a given class, which will be verified.

visitAttribute(Attribute) - Method in class net.sf.daileon.notsupported.DomainAnnotationVerifier

Analyzes the annotations of a given annotation.

visitAttribute(Attribute) - Method in class net.sf.daileon.notsupported.EquivalentAnnotationsCollector

Collects the annotations of a particular class at class level.

visitAttribute(Attribute) - Method in class net.sf.daileon.notsupported.TemplateAnnotationsCollector

Visits the template annotation at class level and collects the annotations that annotate the class indicated in it.

visitField(int, String, String, Object, Attribute) - Method in class net.sf.daileon.notsupported.AbstractAnnotationsReplacer

Visits a particular field of a given class and calls the AbstractAnnotationsReplacerBase.handleElement(ElementRoot), so that its corresponding annotations can be organized.

visitField(int, String, String, Object, Attribute) - Method in class net.sf.daileon.notsupported.AnnotationsCollector

Visits a field of a given class.

visitField(int, String, String, Object, Attribute) - Method in class net.sf.daileon.notsupported.EquivalentAnnotationsCollector

Collects the annotations of a particular particular field, which is indicated via the EquivalentAnnotationsCollector.setFieldName(String) method.

visitMethod(int, String, String, String[], Attribute) - Method in class net.sf.daileon.notsupported.AbstractAnnotationsReplacer

Visits a particular method of a given class and calls the AbstractAnnotationsReplacerBase.handleElement(ElementRoot), so that its corresponding annotations can be organized.

visitMethod(int, String, String, String[], Attribute) - Method in class net.sf.daileon.notsupported.AnnotationsCollector

Visits a method of a given class.

visitMethod(int, String, String, String[], Attribute) - Method in class net.sf.daileon.notsupported.EquivalentAnnotationsCollector

Collects the annotations of a particular method, which is indicated via the EquivalentAnnotationsCollector.setMethodName(String) method.