solve/it.unibo.tuprolog.solve.exception.warning/InitializationIssue

InitializationIssue

class InitializationIssue( val goal: <ERROR CLASS>, val cause: ResolutionException? = null, val contexts: Array<ExecutionContext>) : Warning

Constructors

InitializationIssue

fun InitializationIssue( goal: <ERROR CLASS>, cause: ResolutionException? = null, context: ExecutionContext)

InitializationIssue

fun InitializationIssue( goal: <ERROR CLASS>, cause: ResolutionException? = null, contexts: Array<ExecutionContext>)

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): InitializationIssue

updateContext

open override fun updateContext(newContext: ExecutionContext, index: Int): InitializationIssue

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 override fun updateLastContext(newContext: ExecutionContext): InitializationIssue

Properties

cause

open val cause: ResolutionException? = null

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

goal

val goal: <ERROR CLASS>

logicStackTrace

val logicStackTrace: List<<ERROR CLASS>>

The exception stacktrace; shorthand for context.prologStackTrace