com.veromodo.tempo.ast
Class ASTProofIfThenElse

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTStatement
          extended by com.veromodo.tempo.ast.ASTIfThen
              extended by com.veromodo.tempo.ast.ASTIfThenElse
                  extended by com.veromodo.tempo.ast.ASTProofIfThenElse
All Implemented Interfaces:
Locatable

public class ASTProofIfThenElse
extends ASTIfThenElse


Constructor Summary
ASTProofIfThenElse(ASTExpr c, ASTStatement th, ASTStatement el)
           
 
Method Summary
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTIfThenElse
getElse
 
Methods inherited from class com.veromodo.tempo.ast.ASTIfThen
getCond, getThen
 
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

ASTProofIfThenElse

public ASTProofIfThenElse(ASTExpr c,
                          ASTStatement th,
                          ASTStatement el)
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 ASTIfThenElse
Parameters:
v - the visitor interface
See Also:
ASTIVisitor