solve/it.unibo.tuprolog.solve.exception/Warning

Warning

abstract class Warning(message: String? = null, cause: Throwable? = null, 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

Inheritors

InitializationIssue

MissingPredicate

Constructors

constructor(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>)

constructor(message: String? = null, cause: Throwable? = null, context: ExecutionContext)

Properties

expect open val cause: Throwable?

val context: ExecutionContext

val contexts: Array<ExecutionContext>

logicStackTrace

val logicStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

expect open val message: String?

Functions

abstract override fun pushContext(newContext: ExecutionContext): Warning

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

updateLastContext

abstract override fun updateLastContext(newContext: ExecutionContext): Warning