Package com.ibm.wala.util.graph
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
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <T> void
check(Graph<T> G)
static void
printCollection(String string, Collection<?> c)
-
-
-
Method Detail
-
check
public static <T> void check(Graph<T> G) throws GraphIntegrity.UnsoundGraphException
-
printCollection
public static void printCollection(String string, Collection<?> c)
- Throws:
IllegalArgumentException
- if c is null
-
-