Package org.mpi_sws.jmc.strategies

Class JmcInvalidStrategyException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.mpi_sws.jmc.checker.exceptions.JmcCheckerException

org.mpi_sws.jmc.strategies.JmcInvalidStrategyException

All Implemented Interfaces:

Serializable

public class JmcInvalidStrategyException
extends JmcCheckerException

Exception thrown when an invalid strategy is encountered.

This exception indicates that the strategy parameter provided is not valid or recognized.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
JmcInvalidStrategyException(String 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

JmcInvalidStrategyException

public JmcInvalidStrategyException(String message)