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

InstantiationError

class InstantiationError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val culprit: Var = Var.anonymous(), extraData: Term? = null) : LogicError

The instantiation error occurs when some Term is a Variable, and it should not

Author

Enrico

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

InstantiationError

constructor(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, culprit: Var = Var.anonymous(), extraData: Term? = null)

constructor(message: String? = null, cause: Throwable? = null, context: ExecutionContext, culprit: Var = Var.anonymous(), extraData: Term? = null)

Types

Companion

object Companion

Properties

cause

expect open val cause: Throwable?

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

culprit

val culprit: Var

errorStruct

val errorStruct: Struct

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

extraData

open val extraData: Term?

logicStackTrace

val logicStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

message

expect open val message: String?

type

open val type: Struct

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): InstantiationError

toString

open override fun toString(): String

updateContext

open override fun updateContext(newContext: ExecutionContext, index: Int = 0): InstantiationError

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

open override fun updateLastContext(newContext: ExecutionContext): InstantiationError