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])
]).
Last modified: 2014/12/02 21:03
*