SDA SE Wiki

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

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:jtransformer:api:java:pefs:3.0:markerannotationt [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
  
 +----
 +=== markerAnnotationT(#​id) ===
 +++ Java 5 Syntax Element | - supported since JTransformer 2.3.  ++
 +
 +An attribute for [[annotationt|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|annotationT]]\\
 +ID of the corresponding annotationT
 +
 +===Sample Java Source===
 +== ==
 +<​Code>​
 +@MyAnnotation
 +public void function(){
 +}
 +</​Code>​
 +
 +===Its PEF Representation ===
 +== ==
 +<Code lang-prolog>​
 +annotatedT(#​Annotated,​ #​Annotation),​
 +annotationT(#​Annotation,​ #Annotated, #Annotated, _, []),
 +markerAnnotationT(#​Annotation),​
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code> ​
 +%tree_constraints(markerAnnotationT ,[[#id]).
 +ast_relation('​Java',​markerAnnotationT,​[
 +     ​ast_arg(id, ​    ​mult(1,​1,​no ), id,   ​[annotationT])
 +]).
 +
 +</​Code>​
research/jtransformer/api/java/pefs/3.0/markerannotationt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019