com.veromodo.tempo.ast
Class ASTIfThen

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTStatement
          extended by com.veromodo.tempo.ast.ASTIfThen
All Implemented Interfaces:
Locatable
Direct Known Subclasses:
ASTIfThenElse, ASTNDRIfThen, ASTProofIfThen

public class ASTIfThen
extends ASTStatement


Constructor Summary
ASTIfThen(ASTExpr cond, ASTStatement th)
           
 
Method Summary
 ASTExpr getCond()
           
 ASTStatement getThen()
           
 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

ASTIfThen

public ASTIfThen(ASTExpr cond,
                 ASTStatement th)
Method Detail

getCond

public ASTExpr getCond()

getThen

public ASTStatement getThen()

visit

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

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