ResolutionException

open class ResolutionException: TuPrologException

An exception that could occur during Solver execution

Fields

Name Description
val context: ExecutionContext
val logicStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

val contexts: Array<ExecutionContext>

a stack of contexts localising the exception

Constructors

<init>

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

Parameters

Name Description
message: String?
cause: Throwable?
context: ExecutionContext
vararg otherContexts: ExecutionContext

<init>

constructor(cause: Throwable?, context: ExecutionContext)

Parameters

Name Description
cause: Throwable?
context: ExecutionContext

<init>

constructor(message: String?, cause: Throwable?, contexts: Array<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.

contexts: Array<ExecutionContext>

a stack of contexts localising the exception

Methods

updateContext

open fun updateContext(newContext: ExecutionContext, index: Int): ResolutionException

Creates a new exception instance with the context with in position index updated to newContext. Subclasses should override this method and return the correct instance.

Parameters

Name Description
newContext: ExecutionContext
index: Int

ReturnValue

Name Description
ResolutionException

updateLastContext

open fun updateLastContext(newContext: ExecutionContext): ResolutionException

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
ResolutionException

pushContext

open fun pushContext(newContext: ExecutionContext): ResolutionException

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
ResolutionException

setItem

protected fun Array<ExecutionContext>.setItem(index: Int, item: ExecutionContext): Array<ExecutionContext>

Receiver

Name Description
Array<ExecutionContext>

Parameters

Name Description
index: Int
item: ExecutionContext

ReturnValue

Name Description
Array<ExecutionContext>

addLast

protected fun Array<ExecutionContext>.addLast(item: ExecutionContext): Array<ExecutionContext>

Receiver

Name Description
Array<ExecutionContext>

Parameters

Name Description
item: ExecutionContext

ReturnValue

Name Description
Array<ExecutionContext>