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:2.9:annotationtypet [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
  
 +----
 +=== annotationTypeT(#​id) ===
 +++ Java 5 Syntax Element | - supported since JTransformer 2.3.  ++
 +
 +Attribute for [[classt|classT]] facts.\\
 +This attribute makes the class an annotation declaration.\\
 +The class is a subtype ([[extendst|extendsT]]) of java.lang.annotation.Annotation.
 +
 +=== Attributes ===
 +== ==
 +**id:** [[classt|classT]] \\
 +The ID of the class that is marked as an annotation declaration
 +
 +=== Sample Java Source ===
 +
 +== ==
 +<​Code>​
 +public @interface ThisAnnotation {
 +}
 +</​Code>​
 +
 +=== Its PEF Representation ===
 +== ==
 +<Code lang-prolog>​
 +classT(#​Class,​ #Parent, '​ThisAnnotation',​ []),
 +modifierT(#​Class,​ '​public'​),​
 +extendsT(#​Class,​ #​AnnotationClass),​
 +annotationTypeT(#​Class).
 +</​Code>​
 +
 +
 +=== AST Specification ===
 +== ==
 +<Code lang-prolog>​
 +ast_relation('​Java',​annotationTypeT,​[
 +     ​ast_arg(id, ​    ​mult(1,​1,​no ), id,   ​[classT])
 +]).</​Code>​
research/jtransformer/api/java/pefs/2.9/annotationtypet.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019