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

TermToObjectConversionException

class TermToObjectConversionException(val term: Term, val targetType: KClass<*>? = null) : OopException

Thrown by it.unibo.tuprolog.solve.libs.oop.TermToObjectConverter.convertInto when term cannot be turned into an instance of targetType (or of any type at all, if targetType is null) -- e.g. converting a compound term that is not a recognized as/$ expression, or an it.unibo.tuprolog.solve.libs.oop.ObjectRef whose wrapped object is not a subtype of the requested type.

Surfaces to Prolog as an it.unibo.tuprolog.solve.exception.error.RepresentationError with limit it.unibo.tuprolog.solve.exception.error.RepresentationError.Limit.OOP_OBJECT.

Parameters

term

the term that could not be converted.

targetType

the JVM/Kotlin type conversion was attempted into, if any was specified.

Constructors

TermToObjectConversionException

constructor(term: Term, targetType: KClass<*>? = null)

constructor(term: Term)

Properties

expect open val cause: Throwable?

expect open val message: String?

val targetType: KClass<*>?

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.