nodes = new VectorEnumerator(v);
synchronized (nodes) { return i <= nodes.vector.lastElement; }
synchronized (nodes) { if (i <= nodes.vector.lastElement) { return (AST)nodes.vector.data[i++]; } throw new NoSuchElementException("ASTEnumerator"); }