Class PredicateNotInLevelException
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.PredicateNotInLevelException
- All Implemented Interfaces:
Serializable
Thrown to indicate that a
Predicate
is not found in a LevelHierarchy
.- See Also:
-
Constructor Summary
ConstructorsConstructorDescriptionPredicateNotInLevelException
(Predicate predicate) Constructs anPredicateNotInLevelException
with one argument indicating the predicate not found in any level. -
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
PredicateNotInLevelException
Constructs anPredicateNotInLevelException
with one argument indicating the predicate not found in any level.The predicate is included in this exception's detail message. The exact presentation format of the detail message is unspecified.
- Parameters:
predicate
- predicate not found in any level.
-