Class StatesMergedException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
com.ibm.wala.demandpa.alg.statemachine.StatesMergedException
- All Implemented Interfaces:
Serializable
Exception thrown when a state machine needs to merge states and treat them as equivalent. For
example, a state machine for context sensitivity may throw this exception in its
StateMachine.transition(com.ibm.wala.demandpa.alg.statemachine.StateMachine.State, Object)
method when recursive method calls are detected.- Author:
- Manu Sridharan
- See Also:
-
Constructor Summary
-
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
StatesMergedException
public StatesMergedException()
-