com.ibm.wala.util.graph
Class GraphIntegrity

java.lang.Object
  com.ibm.wala.util.graph.GraphIntegrity

public class GraphIntegrity
extends java.lang.Object

Utility class to check integrity of a graph data structure.

Nested Class Summary

static class

GraphIntegrity.UnsoundGraphException

Constructor Summary

GraphIntegrity()

Method Summary

static <T> void

check(Graph<T> G)

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphIntegrity

public GraphIntegrity()

Method Detail

check

public static <T> void check(Graph<T> G)
                  throws GraphIntegrity.UnsoundGraphException

Throws:

GraphIntegrity.UnsoundGraphException