org.jikesrvm.compilers.opt.dfsolver
Class DF_Graph

java.lang.Object
  extended by org.jikesrvm.compilers.opt.dfsolver.DF_Graph
All Implemented Interfaces:
Graph

 class DF_Graph
extends Object
implements Graph

Implementation of a graph used in the guts of the dataflow equation solver.


Field Summary
private  int count
          Number of nodes in the graph.
 ArrayList<GraphNode> nodes
          The nodes of the graph.
 
Constructor Summary
DF_Graph()
           
 
Method Summary
 void addGraphEdge(GraphNode x, GraphNode y)
          Unsupported.
 void addGraphNode(GraphNode x)
          Add a new graph node to the graph.
 void compactNodeNumbering()
          Implementation for Graph Interface.
 Enumeration<GraphNode> enumerateNodes()
          Enumerate the nodes in the graph.
 int numberOfNodes()
          Find out how many nodes are in the graph
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

nodes

public final ArrayList<GraphNode> nodes
The nodes of the graph.


count

private int count
Number of nodes in the graph.

Constructor Detail

DF_Graph

DF_Graph()
Method Detail

numberOfNodes

public int numberOfNodes()
Description copied from interface: Graph
Find out how many nodes are in the graph

Specified by:
numberOfNodes in interface Graph
Returns:
the number of nodes in the graph

compactNodeNumbering

public void compactNodeNumbering()
Implementation for Graph Interface. TODO: why is this in the Graph interface?

Specified by:
compactNodeNumbering in interface Graph

enumerateNodes

public Enumeration<GraphNode> enumerateNodes()
Enumerate the nodes in the graph.

Specified by:
enumerateNodes in interface Graph
Returns:
an enumeration of the nodes in the graph
See Also:
GraphNode

addGraphNode

public void addGraphNode(GraphNode x)
Description copied from interface: Graph
Add a new graph node to the graph.

Specified by:
addGraphNode in interface Graph
Parameters:
x - the node to add

addGraphEdge

public void addGraphEdge(GraphNode x,
                         GraphNode y)
Unsupported. Why is this here?

Specified by:
addGraphEdge in interface Graph
Parameters:
x - the source node of the edge to add
y - the target node of the edge to add