MissingPredicate

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

Constructors

MissingPredicate

common

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

MissingPredicate

common

fun MissingPredicate(context: ExecutionContext, signature: Signature)

Functions

pushContext

common

open override fun pushContext(newContext: ExecutionContext): MissingPredicate

updateContext

common

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

Creates a new exception instance with the context with in position index updated to newContext.

updateLastContext

common

open override fun updateLastContext(newContext: ExecutionContext): MissingPredicate

Properties

cause

common

open override val cause: Throwable?

context

common

val context: ExecutionContext

contexts

common

val contexts: Array<ExecutionContext>

a stack of contexts localising the exception

message

common

open override val message: String?

prologStackTrace

common

val prologStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

signature

common

val signature: Signature