open class ResolutionException: TuPrologException
Fields
Name | Description |
---|---|
val context: ExecutionContext
|
|
val logicStackTrace: List<Struct>
|
The exception stacktrace; shorthand for |
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>
|
An exception that could occur during Solver execution