edu.uci.eecs.doc.cascade.graph
Class EdgeIDProvider

java.lang.Object
  org.jgrapht.ext.IntegerEdgeNameProvider<Edge>
      edu.uci.eecs.doc.cascade.graph.EdgeIDProvider

All Implemented Interfaces:

EdgeNameProvider<Edge>

public class EdgeIDProvider
extends IntegerEdgeNameProvider<Edge>

Generates unique IDs for edges in a control flow graph.

Author:

Trevor Harmon

Constructor Summary

EdgeIDProvider()

Method Summary

Methods inherited from class org.jgrapht.ext.IntegerEdgeNameProvider

clear, getEdgeName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EdgeIDProvider

public EdgeIDProvider()