SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools



annotationTypeT(#id)

Java 5 Syntax Element

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

Attributes

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

Sample Java Source

public @interface ThisAnnotation {
}

Its PEF Representation

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

AST Specification

ast_relation('Java',annotationTypeT,[
     ast_arg(id,     mult(1,1,no ), id,   [classT])
]).
research/jtransformer/api/java/pefs/3.0/annotationtypet.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2018