solve/it.unibo.tuprolog.solve.exception/LogicError

LogicError

abstract class LogicError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val type: Struct, val extraData: Term? = null) : ResolutionException

Base class for errors which may occur during resolution, possibly because of it.unibo.tuprolog.solve.primitive.Primitives execution

Author

Giovanni

Enrico

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

type

The error type structure

extraData

The possible extra data to be carried with the error

Inheritors

EvaluationError

InstantiationError

PermissionError

RepresentationError

Constructors

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

constructor(message: String? = null, cause: Throwable? = null, context: ExecutionContext, type: Struct, extraData: Term? = null)

constructor(cause: Throwable?, context: ExecutionContext, type: Struct, extraData: Term? = null)

Types

object Companion

Properties

expect open val cause: Throwable?

val context: ExecutionContext

val contexts: Array<ExecutionContext>

val errorStruct: Struct

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

open val extraData: Term?

logicStackTrace

val logicStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

expect open val message: String?

open val type: Struct

Functions

abstract override fun pushContext(newContext: ExecutionContext): LogicError

open override fun toString(): String

abstract override fun updateContext(newContext: ExecutionContext, index: Int = 0): LogicError

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): LogicError