|
|||||||||
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 ASTNode
v
- The visitor classdata
- Optional extra data
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |