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

Class ArityMismatchException

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

All Implemented Interfaces:

Serializable

public class ArityMismatchException
extends IMPLogicsException

Thrown to indicate that the quantity of Term (arity) of an object does not match expected. This could be the case for the classes Atom, Predicate or instances of Literal.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ArityMismatchException(int expected, int provided)	Constructs an ArityMismatchException with arguments for the provided and expected arities.

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

ArityMismatchException

public ArityMismatchException(int expected,
 int provided)

Constructs an ArityMismatchException with arguments for the provided and expected arities.

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

Parameters:

expected - expected arity.

provided - provided arity.