Class GraphIntegrity

java.lang.Object

com.ibm.wala.util.graph.GraphIntegrity

public class GraphIntegrity
extends Object

Utility class to check integrity of a graph data structure.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	GraphIntegrity.UnsoundGraphException

Constructor Summary

Constructors

Constructor	Description
GraphIntegrity()

Method Summary

Modifier and Type	Method	Description
static <T> void	check(Graph<T> G)
static void	printCollection(String string, Collection<?> c)

Methods inherited from class java.lang.Object

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

Constructor Details

GraphIntegrity

public GraphIntegrity()

Method Details

check

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

Throws:

GraphIntegrity.UnsoundGraphException

printCollection

public static void printCollection(String string,
 Collection<?> c)

Throws:

IllegalArgumentException - if c is null