com.veromodo.tempo.ast
Class ASTTypeEnum

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTType
          extended by com.veromodo.tempo.ast.ASTTypeEnum
All Implemented Interfaces:
Describable, Locatable, Typeable, TypeParameterContext

public class ASTTypeEnum
extends ASTType

Representation for an enumeration. An enumeration consists of a list of identifiers. Sample enumerations:

An enumeration E = enum [e1, ..., en] provides the following operators for each i between 1 and n.


Constructor Summary
ASTTypeEnum(ASTListIdOrNum e)
           
 
Method Summary
 ASTListIdOrNum getElems()
           
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTType
getContex, getDescriptor, getTType, setDescriptor
 
Methods inherited from class com.veromodo.tempo.ast.ASTNode
getExtent, setExtent
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface com.veromodo.tempo.util.Locatable
getExtent
 
Methods inherited from interface com.veromodo.tempo.util.Locatable
getExtent
 

Constructor Detail

ASTTypeEnum

public ASTTypeEnum(ASTListIdOrNum e)
Method Detail

getElems

public ASTListIdOrNum getElems()

visit

public void visit(ASTIVisitor v)
Description copied from class: ASTNode
Abstract method to traverse the AST via a visitor.

Overrides:
visit in class ASTType
Parameters:
v - the visitor interface
See Also:
ASTIVisitor