InstantiationError

class InstantiationError: LogicError

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

Fields

Name Description
val culprit: Var

Constructors

<init>

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

Parameters

Name Description
message: String?
cause: Throwable?
context: ExecutionContext
culprit: Var
extraData: Term?

<init>

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

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

Parameters

Name Description
message: String?

the detail message string.

cause: Throwable?

the cause of this exception.

contexts: Array<ExecutionContext>

a stack of contexts localising the exception

culprit: Var
extraData: Term?

The possible extra data to be carried with the error

Methods

updateContext

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

Parameters

Name Description
newContext: ExecutionContext
index: Int

ReturnValue

Name Description
InstantiationError

updateLastContext

fun updateLastContext(newContext: ExecutionContext): InstantiationError

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
InstantiationError

pushContext

fun pushContext(newContext: ExecutionContext): InstantiationError

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
InstantiationError

CompanionObject

InstantiationError

class InstantiationError: LogicError

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

Fields

Name Description
const typeFunctor: String

The instantiation error Struct functor

Methods

forArgument

fun forArgument(context: ExecutionContext, procedure: Signature, variable: Var, index: Int?): InstantiationError

Parameters

Name Description
context: ExecutionContext
procedure: Signature
variable: Var
index: Int?

ReturnValue

Name Description
InstantiationError

forGoal

fun forGoal(context: ExecutionContext, procedure: Signature, variable: Var): InstantiationError

Parameters

Name Description
context: ExecutionContext
procedure: Signature
variable: Var

ReturnValue

Name Description
InstantiationError