com.ibm.wala.util.graph
Class GraphIntegrity.UnsoundGraphException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

GraphIntegrity

public static class GraphIntegrity.UnsoundGraphException
extends java.lang.Exception

See Also:

Serialized Form

Constructor Summary

GraphIntegrity.UnsoundGraphException()

GraphIntegrity.UnsoundGraphException(java.lang.String s)

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphIntegrity.UnsoundGraphException

public GraphIntegrity.UnsoundGraphException()

GraphIntegrity.UnsoundGraphException

public GraphIntegrity.UnsoundGraphException(java.lang.String s)