Package org.mpi_sws.jmc.checker.exceptions

Class JmcInvalidConfigurationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.mpi_sws.jmc.checker.exceptions.JmcCheckerException

org.mpi_sws.jmc.checker.exceptions.JmcInvalidConfigurationException

All Implemented Interfaces:

Serializable

public class JmcInvalidConfigurationException
extends JmcCheckerException

Exception class for JMC invalid configuration errors.

This exception is thrown when there are issues related to the configuration of the JMC checker, such as missing or invalid settings.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
JmcInvalidConfigurationException(String message)	Constructs a new JmcInvalidConfigurationException 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

JmcInvalidConfigurationException

public JmcInvalidConfigurationException(String message)

Constructs a new JmcInvalidConfigurationException with the specified detail message.

Parameters:

message - the detail message