EvaluationError

class EvaluationError: PrologError

The evaluation error occurs when some problem occurs in evaluating an arithmetic expression

Fields

Name Description
val type: Struct

The error type structure

val errorType: Type

The error type

Constructors

<init>

constructor(message: String?, cause: Throwable?, context: ExecutionContext, errorType: Type, extraData: Term?)

The evaluation error occurs when some problem occurs in evaluating an arithmetic expression

Parameters

Name Description
message: String?

the detail message string.

cause: Throwable?

the cause of this exception.

context: ExecutionContext

The current context at exception creation

errorType: Type

The error type

extraData: Term?

The possible extra data to be carried with the error

CompanionObject

EvaluationError

class EvaluationError: PrologError

The evaluation error occurs when some problem occurs in evaluating an arithmetic expression

Fields

Name Description
const typeFunctor: String

The evaluation error Struct functor