net.sf.daileon.annotation
Annotation Type DomainAnnotation

@Retention(value=RUNTIME)
@Target(value=ANNOTATION_TYPE)
public @interface DomainAnnotation

Indicates that a particular annotation is a domain annotation.
Is used to distinguish a domain annotation from a regular annotation, so that Daileon can identify it and act properly (either identifying its corresponding annotations at runtime or translating it at bytecode level).

Version:

1.0 01/01/2010

Author:

Roberto Perillo