solve/it.unibo.tuprolog.solve.exception.error/MessageError

MessageError

class MessageError : LogicError
Content copied to clipboard

The MessageError is used whenever no other LogicError instance is suitable for representing the error

Author

Giovanni

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

extraData

The possible extra data to be carried with the error

Constructors

Link copied to clipboard
fun MessageError(    message: String? = null,     cause: Throwable? = null,     context: ExecutionContext,     extraData: <ERROR CLASS>? = null)
Content copied to clipboard

Types

Link copied to clipboard
object Companion
Content copied to clipboard

Functions

Link copied to clipboard
open override fun pushContext(newContext: ExecutionContext): MessageError
Content copied to clipboard
Link copied to clipboard
open override fun toString(): String
Content copied to clipboard
Link copied to clipboard
open override fun updateContext(newContext: ExecutionContext, index: Int): MessageError
Content copied to clipboard

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
open override fun updateLastContext(newContext: ExecutionContext): MessageError
Content copied to clipboard

Properties

Link copied to clipboard
val content: <ERROR CLASS>
Content copied to clipboard

The content of this message error

Link copied to clipboard
val context: ExecutionContext
Content copied to clipboard
Link copied to clipboard
val contexts: Array<ExecutionContext>
Content copied to clipboard
Link copied to clipboard
val errorStruct: <ERROR CLASS>
Content copied to clipboard

The error Struct as described in Prolog standard: error(error_type, error_extra)

Link copied to clipboard
open val extraData: <ERROR CLASS>? = null
Content copied to clipboard
Link copied to clipboard
val logicStackTrace: List<<ERROR CLASS>>
Content copied to clipboard

The exception stacktrace; shorthand for context.prologStackTrace

Link copied to clipboard
open val type: <ERROR CLASS>
Content copied to clipboard