com.veromodo.tempo.ast
Class ASTTypeUnion

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

public class ASTTypeUnion
extends ASTType

Representation for a tagged union. A tagged union consists of a (factored) list of identifiers for fields of designated types. Sample unions:

A union T = union [f1: T1, ..., fn: Tn] provides the following operators for each i between 1 and n.


Constructor Summary
ASTTypeUnion(ASTListFields f)
           
 
Method Summary
 ASTListFields getFields()
           
 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

ASTTypeUnion

public ASTTypeUnion(ASTListFields f)
Method Detail

getFields

public ASTListFields getFields()

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