com.veromodo.tempo.ast
Class ASTQuantified

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTExpr
          extended by com.veromodo.tempo.ast.ASTQuantified
All Implemented Interfaces:
Describable, Locatable, Typeable
Direct Known Subclasses:
ASTQExist, ASTQForall

public class ASTQuantified
extends ASTExpr


Method Summary
 ASTExpr getExpr()
           
 ASTType getType()
           
 ASTIdentifier getVar()
           
 void setExpr(ASTExpr e)
           
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTExpr
getDescriptor, getSetOfDescriptor, getSetOfTType, getTType, setDescriptor, setSetOfDescriptor, setSetOfTType, setTType
 
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
 

Method Detail

setExpr

public void setExpr(ASTExpr e)

getVar

public ASTIdentifier getVar()

getType

public ASTType getType()

getExpr

public ASTExpr getExpr()

visit

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

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