001    /*
002     *  This file is part of the Jikes RVM project (http://jikesrvm.org).
003     *
004     *  This file is licensed to You under the Eclipse Public License (EPL);
005     *  You may not use this file except in compliance with the License. You
006     *  may obtain a copy of the License at
007     *
008     *      http://www.opensource.org/licenses/eclipse-1.0.php
009     *
010     *  See the COPYRIGHT.txt file distributed with this work for information
011     *  regarding copyright ownership.
012     */
013    package org.jikesrvm.compilers.opt.util;
014    
015    import java.util.Enumeration;
016    
017    
018    /**
019     *  Generic interface for enumerations of graph nodes.  All graph
020     * implementations should make sure that their enumerations of graph
021     * nodes implement this interface, and all graph utilities that need
022     * to enumerate nodes should use this interface.
023     *
024     *
025     * @see Graph
026     * @see GraphNode
027     */
028    public interface GraphNodeEnumeration extends Enumeration<GraphNode> {
029    
030      /**
031       *  Return the next graph node in the enumeration.
032       * @return the next graph node in the enumeration
033       */
034      GraphNode next();
035    }
036    
037    
038