/**
* Sets the children of node to be those specified in array.
*
* @param node the node whose children will be set.
* @param children an array of nodes which will be the children of the node.
*/
public void copyChildren(Node node, Node children[]) {
int nchild = children.length;
node.jjtOpen();
for (int i = 0; i < nchild; ++i) {
children[i].jjtSetParent(node);
node.jjtAddChild(children[i], i);
}
node.jjtClose();
}
void closeDefiniteNode(int num) {
Node n = currentNode();
n.jjtOpen();
for (JJTOqlParserNodeEnum e = nodes.elementsTop(num); e.hasMoreElements(); ) {
Node c = (Node) e.nextElement();
c.jjtSetParent(n);
n.jjtAddChild(c);
}
nodes.popTop(num);
n.jjtClose();
nodes.push(n);
node_created = true;
}
public void openNodeScope(Node n) {
marks.add(mk);
mk = sp;
n.jjtOpen();
}
public void openNodeScope(Node n) {
marks.add(new Integer(mk));
mk = sp;
n.jjtOpen();
}
void openNodeScope(Node n) {
marks.push(new Integer(mk));
mk = sp;
n.jjtOpen();
}
