TuPrologRuntimeException

open class TuPrologRuntimeException: TuPrologException

An exception that could occur during Solver execution

Fields

Name Description
val prologStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

val context: ExecutionContext

The current context at exception creation

Constructors

<init>

constructor(cause: Throwable?, context: ExecutionContext)

Parameters

Name Description
cause: Throwable?
context: ExecutionContext

<init>

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

An exception that could occur during Solver execution

Parameters

Name Description
message: String?

the detail message string.

cause: Throwable?

the cause of this exception.

context: ExecutionContext

The current context at exception creation

Methods

updateContext

open fun updateContext(newContext: ExecutionContext): TuPrologRuntimeException

Creates a new exception instance with context field updated to newContext.

Subclasses should override this method and return the correct instance.

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
TuPrologRuntimeException