Warning

abstract class Warning(    message: String? = null,     cause: Throwable? = null,     val contexts: Array<ExecutionContext>) : ResolutionException

Base class for Prolog warnings

Author

Giovanni

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

Constructors

Link copied to clipboard
fun Warning(    message: String? = null,     cause: Throwable? = null,     context: ExecutionContext)
Link copied to clipboard
fun Warning(    message: String? = null,     cause: Throwable? = null,     contexts: Array<ExecutionContext>)

Functions

Link copied to clipboard
abstract override fun pushContext(newContext: ExecutionContext): Warning
Link copied to clipboard
abstract override fun updateContext(newContext: ExecutionContext, index: Int): Warning

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.

Link copied to clipboard
abstract override fun updateLastContext(newContext: ExecutionContext): Warning

Properties

Link copied to clipboard
val context: ExecutionContext
Link copied to clipboard
val contexts: Array<ExecutionContext>
Link copied to clipboard
val logicStackTrace: List<<ERROR CLASS>>

The exception stacktrace; shorthand for context.prologStackTrace

Inheritors

Link copied to clipboard
Link copied to clipboard