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
public class StatesMergedException extends RuntimeException
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 itsStateMachine.transition(com.ibm.wala.demandpa.alg.statemachine.StateMachine.State, Object)
method when recursive method calls are detected.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description StatesMergedException()
-
Method Summary
-
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
-