com.veromodo.tempo.ast
Class ASTProofWhile

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

public class ASTProofWhile
extends ASTWhile


Constructor Summary
ASTProofWhile(ASTExpr c, ASTListStatement prog)
           
 
Method Summary
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTWhile
getBody, getCond
 
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

ASTProofWhile

public ASTProofWhile(ASTExpr c,
                     ASTListStatement prog)
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 ASTWhile
Parameters:
v - the visitor interface
See Also:
ASTIVisitor