(Node n, int num)
| 111 | made the children of the definite node. Then the definite node |
| 112 | is pushed on to the stack. */ |
| 113 | void closeNodeScope(Node n, int num) { |
| 114 | mk = ((Integer)marks.pop()).intValue(); |
| 115 | while (num-- > 0) { |
| 116 | Node c = popNode(); |
| 117 | c.jjtSetParent(n); |
| 118 | n.jjtAddChild(c, num); |
| 119 | } |
| 120 | n.jjtClose(); |
| 121 | pushNode(n); |
| 122 | node_created = true; |
| 123 | } |
| 124 | |
| 125 | |
| 126 | /* A conditional node is constructed if its condition is true. All |
no test coverage detected