public void rewind() { ns.removeAllElements(); ks.setLength(0); cur = root; run(); }
public void rewind() { ns.removeAllElements(); ks.setLength(0); cur = root; run(); }
public void rewind() { ns.removeAllElements(); ks.setLength(0); cur = root; run(); }
public Object nextElement() { String res = curkey; cur = up(); run(); return res; }
public Object nextElement() { String res = curkey; cur = up(); run(); return res; }
public Object nextElement() { String res = curkey; cur = up(); run(); return res; }