Package org.mpi_sws.jmc.checker.exceptions

Class JmcCheckerException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.mpi_sws.jmc.checker.exceptions.JmcCheckerException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

JmcCheckerTimeoutException, JmcInvalidConfigurationException, JmcInvalidStrategyException, JmcReplayUnsupported

public class JmcCheckerException
extends Exception

Exception class for JMC checker errors.

This exception is thrown when there are issues related to the JMC checker, such as configuration errors or runtime exceptions during the checking process.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
JmcCheckerException(String message)	Constructs a new JmcCheckerException with the specified detail message.
JmcCheckerException(String message, Throwable cause)	Constructs a new JmcCheckerException with the specified detail message and cause.

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

JmcCheckerException

public JmcCheckerException(String message)

Constructs a new JmcCheckerException with the specified detail message.

Parameters:

message - the detail message

JmcCheckerException

public JmcCheckerException(String message,
 Throwable cause)

Constructs a new JmcCheckerException with the specified detail message and cause.

Parameters:

message - the detail message

cause - the cause of the exception