Uses of Package
net.sf.daileon.notsupported

Packages that use net.sf.daileon.notsupported

net.sf.daileon	Provides the entry point of Daileon (PerformTransformations).
net.sf.daileon.notsupported	Provides classes that specifically make possible the second functionality provided by Daileon.

Classes in net.sf.daileon.notsupported used by net.sf.daileon

AbstractAnnotationsReplacer
The AbstractAnnotationsReplacer class is responsible for visiting the elements of a particular class and organizing their annotations.

Strategy
The Strategy interface defines methods for evaluating the annotations that correspond to a given domain annotation.

Classes in net.sf.daileon.notsupported used by net.sf.daileon.notsupported

AbstractAnnotationsCollector
Essentially, the AbstractAnnotationsCollector is responsible for evaluating the annotations that correspond to a domain annotation and organizing this information in the AbstractAnnotationsReplacer object, referenced by it.

AbstractAnnotationsReplacer
The AbstractAnnotationsReplacer class is responsible for visiting the elements of a particular class and organizing their annotations.

AbstractAnnotationsReplacerBase
The AbstractAnnotationsReplacerBase class is responsible for organizing the elements and their annotations, as well as their domain annotations.

AbstractTemplateAnnotationsCollector
The AbstractTemplateAnnotationsCollector class is responsible for collecting the annotations of the elements indicated in template annotations, such as FieldTemplate or MethodTemplate.

DuplicateAnnotationException
The DuplicateAnnotationException is thrown when a domain annotation is evaluated to 2 equal annotations.

ElementBase
The ElementBase class represents the base of class elements, such as fields or methods.

ElementRoot
The ElementRoot class represents the root of class elements.

Strategy
The Strategy interface defines methods for evaluating the annotations that correspond to a given domain annotation.