solve/it.unibo.tuprolog.solve.exception/ResolutionException

ResolutionException

open class ResolutionException( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>)

An exception that could occur during Solver execution

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

Constructors

ResolutionException

fun ResolutionException( message: String? = null, cause: Throwable? = null, context: ExecutionContext, vararg otherContexts: ExecutionContext)

ResolutionException

fun ResolutionException(cause: Throwable?, context: ExecutionContext)

ResolutionException

fun ResolutionException( message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>)

Functions

pushContext

open fun pushContext(newContext: ExecutionContext): ResolutionException

updateContext

@JvmOverloads

open fun updateContext(newContext: ExecutionContext, index: Int = 0): 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.

updateLastContext

open fun updateLastContext(newContext: ExecutionContext): ResolutionException

Properties

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

logicStackTrace

val logicStackTrace: List<<ERROR CLASS>>

The exception stacktrace; shorthand for context.prologStackTrace

Inheritors