com.veromodo.tempo.ast
Class ASTTransEntry

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

public class ASTTransEntry
extends ASTSimProofEntry


Constructor Summary
ASTTransEntry(ASTSignature sig, ASTSimProofAction pa)
           
 
Method Summary
 ASTSignature getFromAction()
           
 ASTSimProofAction getProofAction()
           
 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

ASTTransEntry

public ASTTransEntry(ASTSignature sig,
                     ASTSimProofAction pa)
Method Detail

getFromAction

public ASTSignature getFromAction()

getProofAction

public ASTSimProofAction getProofAction()

visit

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

Overrides:
visit in class ASTSimProofEntry
Parameters:
v - the visitor interface
See Also:
ASTIVisitor