Package org.mpi_sws.jmc.checker.exceptions

package org.mpi_sws.jmc.checker.exceptions

Defines exceptions used in the JMC Checker module.

Related Packages

Package	Description
org.mpi_sws.jmc.checker	Defines core classes of the JMC checker framework.

Exception Classes

Class	Description
JmcCheckerException	Exception class for JMC checker errors.
JmcCheckerTimeoutException	Exception class for JMC checker timeout errors.
JmcInvalidConfigurationException	Exception class for JMC invalid configuration errors.