public class StatesMergedException extends RuntimeException
StateMachine.transition(com.ibm.wala.demandpa.alg.statemachine.StateMachine.State, Object)
method when recursive method calls are detected.Constructor and Description |
---|
StatesMergedException() |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString