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

LogicError

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

Base class for errors which may occur during resolution, possibly because of 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

Constructors

LogicError

fun LogicError( message: String? = null, cause: Throwable? = null, context: ExecutionContext, type: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

LogicError

fun LogicError( cause: Throwable?, context: ExecutionContext, type: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

LogicError

fun LogicError( message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, type: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

Types

Companion

object Companion

Functions

pushContext

abstract override fun pushContext(newContext: ExecutionContext): LogicError

toString

open override fun toString(): String

updateContext

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