com.veromodo.tempo.ast
Class ASTSimProof

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

public class ASTSimProof
extends ASTNode


Constructor Summary
ASTSimProof()
           
 
Method Summary
 void addProofEntry(ASTSimProofEntry spe)
           
 ASTListSimProofEntry getProofEntries()
           
 ASTListStartEntry getProofStart()
           
 ASTListState getStates()
           
 void setProofStart(ASTListStartEntry ps)
           
 void setStates(ASTListState s)
           
 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

ASTSimProof

public ASTSimProof()
Method Detail

setStates

public void setStates(ASTListState s)

setProofStart

public void setProofStart(ASTListStartEntry ps)

addProofEntry

public void addProofEntry(ASTSimProofEntry spe)

getStates

public ASTListState getStates()

getProofStart

public ASTListStartEntry getProofStart()

getProofEntries

public ASTListSimProofEntry getProofEntries()

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