InstantiationError

class InstantiationError: PrologError

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

Constructors

<init>

constructor(context: ExecutionContext, procedure: Signature, index: Int?, variable: Var?)

This constructor automatically fills message field with provided information

Parameters

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

<init>

constructor(message: String?, cause: Throwable?, context: ExecutionContext, 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.

context: ExecutionContext

The current context at exception creation

extraData: Term?

The possible extra data to be carried with the error

CompanionObject

InstantiationError

class InstantiationError: PrologError

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, index: Int?, variable: Var?): InstantiationError

Parameters

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

ReturnValue

Name Description
InstantiationError

forGoal

fun forGoal(context: ExecutionContext, procedure: Signature, variable: Var): variable in procedure ${procedure.toIndicator()}".let { InstantiationError( message = it, context = context, extraData = Atom.of(it) ) }

Parameters

Name Description
context: ExecutionContext
procedure: Signature
variable: Var

ReturnValue

Name Description
variable in procedure ${procedure.toIndicator()}".let { InstantiationError( message = it, context = context, extraData = Atom.of(it) ) }