| 
 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectgov.llnl.babel.ast.ASTNode
gov.llnl.babel.ast.Invariants
public class Invariants
| 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 | 
|---|
public Invariants(ParseTreeNode node,
                  ASTNode parent)
public Invariants()
| Method Detail | 
|---|
public java.util.List getInvariantExprs()
public void setInvariantExprs(java.util.List invariantExprs)
public java.lang.Object accept(Visitor v,
                               java.lang.Object data)
ASTNode
accept in class ASTNodev - The visitor classdata - Optional extra data
| 
 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||