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

MissingPredicate

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

A Warning reported when a goal invokes signature and no such predicate exists, but the unknown Prolog flag (see it.unibo.tuprolog.solve.flags.Unknown) is set to warn rather than raise an it.unibo.tuprolog.solve.exception.error.ExistenceError or fail silently.

Constructors

MissingPredicate

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

constructor(cause: Throwable?, context: ExecutionContext, signature: Signature)

constructor(context: ExecutionContext, signature: Signature)

Properties

cause

expect open val cause: Throwable?

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

logicStackTrace

val logicStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

message

expect open val message: String?

signature

val signature: Signature

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): MissingPredicate

updateContext

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