Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

Class IMPLogicsException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.IMPLogicsException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ArityMismatchException, DerivedLiteralInHomomorphismCheckException, ExpectingConstraintIDException, LevelHierarchyException, LogicConstraintNotFoundException, MapsDoNotJoinException, NoNegatableLiteralException, NotExpectingConstraintIDException, ParserCanceledException, PredicateIsNotDerivedException, PredicateNotFoundException, PredicateNotInLevelException, PredicateOutsideSchemaException, RepeatedConstraintIDException, RepeatedPredicateNameException, SubstitutionException, WrongNumberOfTermsInBuiltInLiteralException

public class IMPLogicsException
extends RuntimeException

General exception for IMP Logics library. All custom exceptions in the project are subclasses of this class.

IMPLogicsException is a subclass of RuntimeException so it, and all its subclasses, are unchecked exceptions

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
IMPLogicsException()	Constructs a new IMP Logics exception with null as its detail message.
IMPLogicsException(String message)	Constructs a new IMP Logics 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 Details

IMPLogicsException

public IMPLogicsException()

Constructs a new IMP Logics exception with null as its detail message.

IMPLogicsException

public IMPLogicsException(String message)

Constructs a new IMP Logics exception with the specified detail message.

Parameters:

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