com.veromodo.tempo.ast
Class ASTProofFire

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

public class ASTProofFire
extends ASTStatement


Constructor Summary
ASTProofFire(ASTMSGInvoke mi)
           
ASTProofFire(ASTProofFire n, ASTListProofUsing pl)
           
 
Method Summary
 ASTMSGInvoke getMethod()
           
 ASTListProofUsing getUsing()
           
 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

ASTProofFire

public ASTProofFire(ASTMSGInvoke mi)

ASTProofFire

public ASTProofFire(ASTProofFire n,
                    ASTListProofUsing pl)
Method Detail

getMethod

public ASTMSGInvoke getMethod()

getUsing

public ASTListProofUsing getUsing()

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