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

Class PredicateOutsideSchemaException

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.PredicateOutsideSchemaException

All Implemented Interfaces:

Serializable

public class PredicateOutsideSchemaException
extends IMPLogicsException

Thrown to indicate that a Predicate is not from a LogicSchema but from another one.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
PredicateOutsideSchemaException(Predicate predicate)	Constructs an PredicateOutsideSchemaException with one argument indicating the predicate from another schema.

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

PredicateOutsideSchemaException

public PredicateOutsideSchemaException(Predicate predicate)

Constructs an PredicateOutsideSchemaException with one argument indicating the predicate from another schema.

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

Parameters:

predicate - predicate from another LogicSchema.