com.veromodo.tempo.ast
Class ASTActionSet

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

public class ASTActionSet
extends ASTNode


Constructor Summary
ASTActionSet(ASTIdentifier id, ASTListFormula act, ASTExpr w)
           
 
Method Summary
 ASTListFormula getActuals()
           
 ASTIdentifier getId()
           
 ASTExpr getWhere()
           
 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

ASTActionSet

public ASTActionSet(ASTIdentifier id,
                    ASTListFormula act,
                    ASTExpr w)
Method Detail

getId

public ASTIdentifier getId()

getActuals

public ASTListFormula getActuals()

getWhere

public ASTExpr getWhere()

visit

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

Specified by:
visit in class ASTNode
Parameters:
v - the visitor interface
See Also:
ASTIVisitor