com.veromodo.tempo.ast
Class ASTQExist

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

public class ASTQExist
extends ASTQuantified


Constructor Summary
ASTQExist(ASTIdentifier v, ASTType t, ASTExpr e)
           
 
Method Summary
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTQuantified
getExpr, getType, getVar, setExpr
 
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
 

Constructor Detail

ASTQExist

public ASTQExist(ASTIdentifier v,
                 ASTType t,
                 ASTExpr e)
Method Detail

visit

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

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