SE & SDA Wiki

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

User Tools

Site Tools



enumT(#class)

Java 5 Syntax Element

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

Arguments

#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

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

AST Specification

ast_relation('Java',enumT,[
     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