Packages, Compilation Units and Imports | Annotations | Declarations | Type Elements & Relations | Expressions | Statements | Body Level Attributes |
|---|
enumT(#class)
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])
]).


