public class JJTParserState extends Object
Constructor and Description |
---|
JJTParserState() |
Modifier and Type | Method and Description |
---|---|
void |
clearNodeScope(org.jacop.fz.Node n) |
void |
closeNodeScope(org.jacop.fz.Node n,
boolean condition) |
void |
closeNodeScope(org.jacop.fz.Node n,
int num) |
int |
nodeArity() |
boolean |
nodeCreated() |
void |
openNodeScope(org.jacop.fz.Node n) |
org.jacop.fz.Node |
peekNode() |
org.jacop.fz.Node |
popNode() |
void |
pushNode(org.jacop.fz.Node n) |
void |
reset() |
org.jacop.fz.Node |
rootNode() |
public boolean nodeCreated()
public void reset()
public org.jacop.fz.Node rootNode()
public void pushNode(org.jacop.fz.Node n)
public org.jacop.fz.Node popNode()
public org.jacop.fz.Node peekNode()
public int nodeArity()
public void clearNodeScope(org.jacop.fz.Node n)
public void openNodeScope(org.jacop.fz.Node n)
public void closeNodeScope(org.jacop.fz.Node n, int num)
public void closeNodeScope(org.jacop.fz.Node n, boolean condition)
Copyright © 2022. All rights reserved.