Package org.mpi_sws.jmc.checker.exceptions

Class JmcCheckerTimeoutException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.mpi_sws.jmc.checker.exceptions.JmcCheckerException

org.mpi_sws.jmc.checker.exceptions.JmcCheckerTimeoutException

All Implemented Interfaces:

Serializable

public class JmcCheckerTimeoutException
extends JmcCheckerException

Exception class for JMC checker timeout errors.

This exception is thrown when the JMC checker exceeds the configured timeout limit during execution.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
JmcCheckerTimeoutException(String message)	Constructs a new JmcCheckerTimeoutException with the specified detail message.

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

JmcCheckerTimeoutException

public JmcCheckerTimeoutException(String message)

Constructs a new JmcCheckerTimeoutException with the specified detail message.

Parameters:

message - the detail message