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

OopException

abstract class OopException : TuPrologException

The base type for every error :oop-lib can run into while bridging Prolog and JVM/Kotlin reflection -- e.g. an unresolvable method/constructor/property overload, a malformed alias expression, or a reflective operation actually throwing.

An OopException is a plain Kotlin Throwable (so it can be thrown from ordinary code, such as a it.unibo.tuprolog.solve.libs.oop.Ref implementation), but every subtype knows how to turn itself into the it.unibo.tuprolog.solve.exception.LogicError a it.unibo.tuprolog.solve.Solver actually throws -- via toLogicError -- which is what it.unibo.tuprolog.solve.libs.oop.primitives.catchingOopExceptions does for every primitive in this library.

Inheritors

ConstructorInvocationException

MalformedAliasException

MethodInvocationException

NoSuchAnAliasException

OopRuntimeException

PropertyAssignmentException

RuntimePermissionException

TermToObjectConversionException

Constructors

OopException

@JvmOverloads

constructor(message: String? = null, cause: Throwable? = null)

constructor(cause: Throwable?)

Types

Companion

object Companion

Properties

cause

expect open val cause: Throwable?

message

expect open val message: String?

Functions

toLogicError

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

OopException

See also

Inheritors

Constructors

Types

Properties

Functions