org.jikesrvm.compilers.opt.util
Interface GraphNodeEnumeration

All Superinterfaces:
Enumeration<GraphNode>
All Known Implementing Classes:
DFSenumerateByFinish, FilteredDFSenumerateByFinish, GraphNodeEnumerator, GraphNodeEnumerator.Enum, GraphNodeEnumerator.Iter, ReverseDFSenumerateByFinish, ReverseFilteredDFSenumerateByFinish, SpaceEffGraph.NodeEnumeration, SpaceEffGraphNode.InNodeEnumeration, SpaceEffGraphNode.OutNodeEnumeration

public interface GraphNodeEnumeration
extends Enumeration<GraphNode>

Generic interface for enumerations of graph nodes. All graph implementations should make sure that their enumerations of graph nodes implement this interface, and all graph utilities that need to enumerate nodes should use this interface.

See Also:
Graph, GraphNode

Method Summary
 GraphNode next()
          Return the next graph node in the enumeration.
 
Methods inherited from interface java.util.Enumeration
hasMoreElements, nextElement
 

Method Detail

next

GraphNode next()
Return the next graph node in the enumeration.

Returns:
the next graph node in the enumeration