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

MissingPredicate

class MissingPredicate( cause: Throwable?, val contexts: Array<ExecutionContext>, val signature: Signature) : Warning

Constructors

MissingPredicate

fun MissingPredicate( cause: Throwable?, context: ExecutionContext, signature: Signature)

MissingPredicate

fun MissingPredicate(context: ExecutionContext, signature: Signature)

MissingPredicate

fun MissingPredicate( cause: Throwable?, contexts: Array<ExecutionContext>, signature: Signature)

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): MissingPredicate

updateContext

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

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): MissingPredicate

Properties

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

logicStackTrace

val logicStackTrace: List<<ERROR CLASS>>

The exception stacktrace; shorthand for context.prologStackTrace

signature

val signature: Signature