Package MAKBPInterpreter.agents.exceptions

Class NoKripkeWorldPossibleException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

MAKBPInterpreter.agents.exceptions.NoKripkeWorldPossibleException

All Implemented Interfaces:

java.io.Serializable

public class NoKripkeWorldPossibleException
extends java.lang.RuntimeException

Exception class called when no world in a KripkeStructure instance is possible.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
NoKripkeWorldPossibleException()	Constructs a new exception without the specified detail message.
NoKripkeWorldPossibleException(java.lang.String arg0)	Constructs a new exception 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 Detail

NoKripkeWorldPossibleException

public NoKripkeWorldPossibleException(java.lang.String arg0)

Constructs a new exception with the specified detail message. The cause is not initialized, and may subsequently be initialized by a call to Throwable.initCause(Throwable).

Parameters:

arg0 - message the detail message. The detail message is saved for later retrieval by the Throwable.getMessage() method

NoKripkeWorldPossibleException

public NoKripkeWorldPossibleException()

Constructs a new exception without the specified detail message. The cause is not initialized, and may subsequently be initialized by a call to Throwable.initCause(Throwable).