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

Class NoNegatableLiteralException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

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

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

All Implemented Interfaces:

Serializable

public class NoNegatableLiteralException
extends IMPLogicsException

Thrown to indicate that a Literal can not be negated.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
NoNegatableLiteralException(Literal literal)	Constructs an NoNegatableLiteralException with one argument indicating the non negatable literal.

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

NoNegatableLiteralException

public NoNegatableLiteralException(Literal literal)

Constructs an NoNegatableLiteralException with one argument indicating the non negatable literal.

The literal is included in this exception's detail message. The exact presentation format of the detail message is unspecified.

Parameters:

literal - non negatable literal.