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

InitializationIssue

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

A Warning reported when solving an initialization goal (i.e. a directive, or a clause loaded while partitioning a it.unibo.tuprolog.theory.Theory's static/dynamic clauses at knowledge-base load time) does not succeed -- either because it failed outright (no cause) or because it halted with cause.

Raised instead of aborting the whole knowledge-base loading process, so that a single misbehaving directive does not prevent the rest of the theory from being loaded.

Constructors

InitializationIssue

constructor(goal: Struct, cause: ResolutionException? = null, contexts: Array<ExecutionContext>)

constructor(goal: Struct, cause: ResolutionException? = null, context: ExecutionContext)

Properties

cause

open override val cause: ResolutionException?

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

goal

val goal: Struct

logicStackTrace

val logicStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

message

expect open val message: String?

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): InitializationIssue

updateContext

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