SE & SDA Wiki

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

User Tools

Site Tools


Java 5 Syntax Element

Expresses that the class with identity #class is an enum declaration (Enumeration).


#class: classT
ID of the 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

public enum Week {//classT
	Monday,// corresponding code line to enumT

Its PEF Representation

classT(#class, 'null', 'Week', [..., ...]).

AST Specification

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

SEWiki, © 2018