com.veromodo.tempo.ast
Class ASTEffect

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

public class ASTEffect
extends ASTNode


Constructor Summary
ASTEffect(ASTStatement eff, ASTExpr ensure)
           
 
Method Summary
 ASTStatement getBlock()
           
 ASTExpr getEnsure()
           
 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

ASTEffect

public ASTEffect(ASTStatement eff,
                 ASTExpr ensure)
Method Detail

getEnsure

public ASTExpr getEnsure()

getBlock

public ASTStatement getBlock()

visit

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

Specified by:
visit in class ASTNode
Parameters:
v - the visitor interface
See Also:
ASTIVisitor