Package org.mpi_sws.jmc.strategies

Class JmcReplayUnsupported

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.mpi_sws.jmc.checker.exceptions.JmcCheckerException

org.mpi_sws.jmc.strategies.JmcReplayUnsupported

All Implemented Interfaces:

Serializable

public class JmcReplayUnsupported
extends JmcCheckerException

Exception thrown when replay is not supported by the current strategy.

This exception indicates that the current strategy does not support replay functionality, which may be required for certain operations or analyses.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
JmcReplayUnsupported()

Method Summary

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Details

JmcReplayUnsupported

public JmcReplayUnsupported()