Java 5 Syntax Element - supported since JTransformer 2.3.

Attribute for classT facts.
This attribute makes the class an annotation declaration.
The class is a subtype (extendsT) of java.lang.annotation.Annotation.

id: classT
The ID of the class that is marked as an annotation declaration

public @interface ThisAnnotation {
}

classT(#Class, #Parent, 'ThisAnnotation', []),
modifierT(#Class, 'public'),
extendsT(#Class, #AnnotationClass),
annotationTypeT(#Class).

ast_relation('Java',annotationTypeT,[
     ast_arg(id,     mult(1,1,no ), id,   [classT])
]).