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

Packages that use AbstractTemplateAnnotationsCollector

net.sf.daileon.notsupported

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

Uses of AbstractTemplateAnnotationsCollector in net.sf.daileon.notsupported

Subclasses of AbstractTemplateAnnotationsCollector in net.sf.daileon.notsupported

(package private) 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.
(package private) class	TemplateAnnotationsCollector The TemplateAnnotationsCollector is responsible for collecting template annotations of a domain annotation, so that the elements indicated by them can be read, and the domain annotation can be evaluated properly.