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 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 Details

    • StatesMergedException

      public StatesMergedException()