com.veromodo.tempo.ast
Class ASTTypeTuple

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

public class ASTTypeTuple
extends ASTType

Representation for a tuple (i.e., a record). A tuple consists of a (factored) list of identifiers for fields of designated types. Sample tuples:

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

TODO: Consider changing notation for tupe constructor from [__, ..., __] to make_T


Constructor Summary
ASTTypeTuple(ASTListFields e)
           
 
Method Summary
 ASTListFields getFields()
           
 java.lang.String getOpName()
           
 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

ASTTypeTuple

public ASTTypeTuple(ASTListFields e)
Method Detail

getFields

public ASTListFields getFields()

getOpName

public java.lang.String getOpName()

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