Uses of Class
net.sf.daileon.notsupported.ElementRoot

Packages that use ElementRoot

net.sf.daileon.notsupported

Provides classes that specifically make possible the second functionality provided by Daileon.

Uses of ElementRoot in net.sf.daileon.notsupported

Subclasses of ElementRoot in net.sf.daileon.notsupported

(package private) class	ElementBase The ElementBase class represents the base of class elements, such as fields or methods.
(package private) class	FieldInformation The FieldInformation class represents specifically the information of a particular field.
(package private) class	MethodInformation The MethodInformation class represents specifically the information of a particular method.

Fields in net.sf.daileon.notsupported declared as ElementRoot

private ElementRoot

AnnotationsStrategy.element The element annotated with the domain annotation

Fields in net.sf.daileon.notsupported with type parameters of type ElementRoot

private Map<ElementRoot,Set<String>>	AbstractAnnotationsReplacerBase.domainAnnotations Keeps the elements and their domain annotations
private Map<ElementRoot,org.objectweb.asm.attrs.RuntimeVisibleAnnotations>	AbstractAnnotationsReplacerBase.elementsMap Keeps the elements and their annotations

Methods in net.sf.daileon.notsupported with parameters of type ElementRoot

(package private) void	AbstractAnnotationsReplacerBase.addDomainAnnotation(ElementRoot element, String annotation) Associates the name of a domain annotation to a particular element.
(package private) void	AbstractAnnotationsReplacerBase.addElementAnnotations(ElementRoot element, org.objectweb.asm.attrs.RuntimeVisibleAnnotations annotations) Associates annotations to a particular element.
(package private) void	AbstractAnnotationsCollector.collect(ElementRoot element) Collects the annotations that correspond to a domain annotation, and for such, uses the Strategy object indicated in the XML configuration file.
(package private) void	AbstractAnnotationsReplacerBase.handleElement(ElementRoot element) Organizes the elements and their annotations.
void	Strategy.setElement(ElementRoot element) Sets the element that contains the domain annotation.
void	AnnotationsStrategy.setElement(ElementRoot element) Sets the element that contains the domain annotation.