Package 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
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(java.lang.String string, java.util.Collection<?> c)
-
-
-
Method Detail
-
check
public static <T> void check(Graph<T> G) throws GraphIntegrity.UnsoundGraphException
-
printCollection
public static void printCollection(java.lang.String string, java.util.Collection<?> c)
- Throws:
java.lang.IllegalArgumentException
- if c is null
-
-