Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions
package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions
-
ExceptionsClassDescriptionThrown to indicate that the quantity of Term (arity) of an object does not match expected.General exception for IMP Logics library.Thrown as a generic Exception for the
LevelHierarchyclass.Thrown to indicate that aLogicConstraintdoes not exist in a logic schema.Thrown to indicate that aLiteralcan not be negated.Thrown to indicate that aPredicateis not derived.Thrown to indicate that aPredicateis not contained in a logic schema.Thrown to indicate that aPredicateis not found in aLevelHierarchy.Thrown to indicate that aPredicateis not from aLogicSchemabut from another one.Thrown to indicate that aConstraintIDis repeated inside aLogicSchema.Thrown to indicate that aPredicatename is repeated inside aLogicSchema.