oop-lib/it.unibo.tuprolog.solve.libs.oop.exceptions/MalformedAliasException

MalformedAliasException

class MalformedAliasException(val dealiasingExpression: Struct) : OopException

Thrown when dealiasingExpression -- e.g. an argument or sub-term where a $Alias expression was expected -- is not actually of the shape $Alias (a compound with functor it.unibo.tuprolog.solve.libs.oop.OOP.DEALIASING_OPERATOR and one argument), such as $(a, b) or $1.

Surfaces to Prolog as a it.unibo.tuprolog.solve.exception.error.TypeError with expected type it.unibo.tuprolog.solve.exception.error.TypeError.Expected.DEALIASING_EXPRESSION.

Parameters

dealiasingExpression

the malformed expression.

See also

NoSuchAnAliasException

Constructors

MalformedAliasException

constructor(dealiasingExpression: Struct)

Properties

expect open val cause: Throwable?

dealiasingExpression

val dealiasingExpression: Struct

expect open val message: String?

Functions

open override fun toLogicError(context: ExecutionContext, signature: Signature): LogicError

Converts this exception into the LogicError that should actually be thrown by context's solver, while executing signature.