void (TreeNode node, CheckedNodeVisitor visitor) { Enumeration<?> children = node.children(); while (children.hasMoreElements()) { CheckedTreeNode child = (CheckedTreeNode)children.nextElement(); visitor.visit(child); } }