OopException

abstract class OopException: TuPrologException

Fields

Name Description
protected abstract culprit: Term

Constructors

<init>

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

Parameters

Name Description
message: String?
cause: Throwable?

<init>

constructor(cause: Throwable?)

Parameters

Name Description
cause: Throwable?

Methods

toLogicError

abstract fun toLogicError(context: ExecutionContext, signature: Signature): LogicError

Parameters

Name Description
context: ExecutionContext
signature: Signature

ReturnValue

Name Description
LogicError