Module dev.civl.sarl

Package dev.civl.sarl.IF

Class SARLException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

dev.civl.sarl.IF.SARLException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

SARLBoundException, SARLInternalException, TheoremProverException

public class SARLException
extends RuntimeException

Root of the SARL exception type hierarchy. A SARLException is thrown whenever anything unexpected happens within SARL, whether due to user input or an internal error. Since this extends RuntimeException, SARL exception do not have to be explicitly declared in "throws" and "catch" clauses.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
SARLException(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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

SARLException

public SARLException(String message)