Packages, Compilation Units and Imports | Annotations | Declarations | Expressions | Statements | Body Level Attributes |
|---|
markerAnnotationT(#id)
An attribute for annotationT facts.
Just to maintain the original syntax of annotations without arguments. Annotation is a marker annotation if the parenthesis's are omitted.
@marker instead of the normal annotation @marker().
Arguments
id: annotationT
ID of the corresponding annotationT
Sample Java Source
@MyAnnotation
public void function(){
}
Its PEF Representation
annotatedT(#Annotated, #Annotation), annotationT(#Annotation, #Annotated, #Annotated, _, []), markerAnnotationT(#Annotation),
AST Specification
%tree_constraints(markerAnnotationT ,[[#id]).
ast_relation('Java',markerAnnotationT,[
ast_arg(id, mult(1,1,no ), id, [annotationT])
]).


