com.veromodo.tempo.ast
Class ASTInvariant

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

public class ASTInvariant
extends ASTRoot


Constructor Summary
ASTInvariant(ASTIdOrNum id, ASTIdentifier to, ASTListFormula p)
           
 
Method Summary
 ASTIdOrNum getId()
           
 ASTIdentifier getOf()
           
 ASTListFormula getPreds()
           
 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

ASTInvariant

public ASTInvariant(ASTIdOrNum id,
                    ASTIdentifier to,
                    ASTListFormula p)
Method Detail

getId

public ASTIdOrNum getId()

getOf

public ASTIdentifier getOf()

getPreds

public ASTListFormula getPreds()

visit

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

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