()
| 52 | * Returns the node on the top of the stack, and remove it from the stack. |
| 53 | */ |
| 54 | public Node popNode() { |
| 55 | if (--sp < mk) { |
| 56 | mk = marks.remove(marks.size() - 1); |
| 57 | } |
| 58 | return nodes.remove(nodes.size() - 1); |
| 59 | } |
| 60 | |
| 61 | /* Returns the node currently on the top of the stack. */ |
| 62 | public Node peekNode() { |
no test coverage detected