Returns an java.util.Iterator over the node's children.
()
| 376 | |
| 377 | /** Returns an {@link java.util.Iterator} over the node's children. */ |
| 378 | @Override |
| 379 | public Iterator<Node> iterator() { |
| 380 | return new NodeIterator(); |
| 381 | } |
| 382 | |
| 383 | private static String propToString(int propType) { |
| 384 | if (!Token.printTrees) { |
no outgoing calls