gov.llnl.babel.ast
Class Invariants

java.lang.Object
  extended by gov.llnl.babel.ast.ASTNode
      extended by gov.llnl.babel.ast.Invariants

public class Invariants
extends ASTNode


Field Summary
 
Fields inherited from class gov.llnl.babel.ast.ASTNode
ILLEGAL_NODEID
 
Constructor Summary
Invariants()
           
Invariants(ParseTreeNode node, ASTNode parent)
           
 
Method Summary
 java.lang.Object accept(Visitor v, java.lang.Object data)
          implements "Visitor Pattern"
 java.util.List getInvariantExprs()
           
 void setInvariantExprs(java.util.List invariantExprs)
           
 
Methods inherited from class gov.llnl.babel.ast.ASTNode
getFilename, getFirstToken, getLastToken, getNodeId, getParent, getParseTreeNode, getSymbolTableEntry, setFirstToken, setLastToken, setNodeId, setParent, setParseTreeNode, setSymbolTableEntry
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Invariants

public Invariants(ParseTreeNode node,
                  ASTNode parent)

Invariants

public Invariants()
Method Detail

getInvariantExprs

public java.util.List getInvariantExprs()

setInvariantExprs

public void setInvariantExprs(java.util.List invariantExprs)

accept

public java.lang.Object accept(Visitor v,
                               java.lang.Object data)
Description copied from class: ASTNode
implements "Visitor Pattern"

Specified by:
accept in class ASTNode
Parameters:
v - The visitor class
data - Optional extra data
Returns:
Optional extra data