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:enumt [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
 +----
 +
 +=== enumT(#​class) ​ ===
 +++ Java 5 Syntax Element | - supported since JTransformer 2.3.  ++
 +
 +Expresses that the class with identity #class is an enum declaration (Enumeration).
 +
 +=== Arguments ===
 +== ==
 +**#class:** [[classt|classT]]\\ ​
 +ID of the [[classt|classT]] fact declared to be an enumeration ​ (this is **NOT** the own ID of the enumT fact, but a reference to a classT fact).
 +
 +=== Sample Java Source ===
 +==  ==
 +<Code lang-java>​
 +public enum Week {//classT
 + Monday,// corresponding code line to enumT
 + ...
 +}
 +</​Code>​
 +
 +=== Its PEF Representation ===
 +==  ==
 +<Code lang-prolog>​
 +enumT(#​class).
 +classT(#​class,​ '​null',​ '​Week',​ [..., ...]).
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_relation('​Java',​enumT,​[
 +     ​ast_arg(id, ​    ​mult(1,​1,​no ), id,   ​[classT]) ​
 +]).
 +</​Code>​
  
research/jtransformer/api/java/pefs/2.9/enumt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019