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

EvaluationError

class EvaluationError( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>, val errorType: EvaluationError.Type, val extraData: <ERROR CLASS>? = null) : LogicError

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

Author

Enrico

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

errorType

The error type

extraData

The possible extra data to be carried with the error

Constructors

EvaluationError

fun EvaluationError( message: String? = null, cause: Throwable? = null, context: ExecutionContext, errorType: EvaluationError.Type, extraData: <ERROR CLASS>? = null)

EvaluationError

fun EvaluationError( message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, errorType: EvaluationError.Type, extraData: <ERROR CLASS>? = null)

Types

Companion

object Companion

Type

enum Type : Enum<EvaluationError.Type>

The possible evaluation error types

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): EvaluationError

toString

open override fun toString(): String

updateContext

open override fun updateContext(newContext: ExecutionContext, index: Int): EvaluationError

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