public class Ensures extends ASTNode
ILLEGAL_NODEID| Constructor and Description |
|---|
Ensures() |
Ensures(ParseTreeNode node,
ASTNode parent) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
accept(Visitor v,
java.lang.Object data)
implements "Visitor Pattern"
|
java.util.List |
getEnsureExprs() |
void |
setEnsureExprs(java.util.List ensureExprs) |
getFilename, getFirstToken, getLastToken, getNodeId, getParent, getParseTreeNode, getSymbolTableEntry, setFirstToken, setLastToken, setNodeId, setParent, setParseTreeNode, setSymbolTableEntrypublic Ensures(ParseTreeNode node, ASTNode parent)
public Ensures()