SDA SE Wiki

Java 5 Syntax Element - supported since JTransformer 2.3.

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).

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

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

ast_relation('Java',enumT,[
     ast_arg(id,     mult(1,1,no ), id,   [classT]) 
]).