net.sf.daileon.annotation
Annotation Types 
ClassTemplate
DomainAnnotation
FieldTemplate
MethodTemplate