Package net.sf.daileon.annotation

Provides annotations to be used with both functionalities provided by Daileon.

See:
Description

Annotation Types Summary

ClassTemplate	Indicates the class that keeps the annotations that correspond to a domain annotation at class level.
DomainAnnotation	Indicates that a particular annotation is a domain annotation.
FieldTemplate	Indicates the field that keeps the annotations that correspond to a domain annotation at field level.
MethodTemplate	Indicates the method that keeps the annotations that correspond to a domain annotation at method level.

Package net.sf.daileon.annotation Description

Provides annotations to be used with both functionalities provided by Daileon. The @DomainAnnotation annotation works for both functionalities, and the other template annotations are to be used with the second functionality, which allows domain annotations to be used with frameworks that do not support them.