com.veromodo.tempo.ast
Class ASTActualType

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTActual
          extended by com.veromodo.tempo.ast.ASTActualType
All Implemented Interfaces:
Locatable

public class ASTActualType
extends ASTActual

Concrete class. Represent an actual Type. Useful for automaton signatures such as

automaton A(M : Type)

which specifies that A is a parametric automaton that will manipulate some values of type M. When this automaton is instantiated (e.g., as a component of a composite TIOA), a concrete type (e.g. Int must be passed as an actual to the automaton).

Author:
L. Michel

Constructor Summary
ASTActualType(ASTType t)
          Constructor.
 
Method Summary
 ASTType getType()
           
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
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
 

Constructor Detail

ASTActualType

public ASTActualType(ASTType t)
Constructor. Takes in the abstract syntax tree of a concrete type.

Method Detail

getType

public ASTType getType()

visit

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

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