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

T

TARGET - Static variable in class net.sf.daileon.notsupported.AbstractTemplateAnnotationsCollector

The fully-qualified name of the Target annotation

TemplateAnnotationsCollector - Class in net.sf.daileon.notsupported

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.

TemplateAnnotationsCollector(ClassVisitor) - Constructor for class net.sf.daileon.notsupported.TemplateAnnotationsCollector

Class constructor.

toString() - Method in class net.sf.daileon.notsupported.ElementBase

toString() - Method in class net.sf.daileon.notsupported.ElementRoot

transform(String, String) - Method in class net.sf.daileon.notsupported.ClassTransformer

Triggers the process translating the domain annotations of a given class.