Java Enumeration Examples

Example #1

File: DepthFirstVisitor.java Project: pradeep90/POPL

 public void visit(NodeSequence n) {
   for (Enumeration<Node> e = n.elements(); e.hasMoreElements(); ) e.nextElement().accept(this);
 }

Example #2

File: DepthFirstVisitor.java Project: pradeep90/POPL

 public void visit(NodeListOptional n) {
   if (n.present())
     for (Enumeration<Node> e = n.elements(); e.hasMoreElements(); ) e.nextElement().accept(this);
 }