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
|