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

DomainError

class DomainError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val expectedDomain: DomainError.Expected, val culprit: Term, extraData: Term? = null) : LogicError

The domain error occurs when something has the correct type but the value is not admissible

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

expectedDomain

The expected domain, that wouldn't have raised the error

culprit

The value not respecting expectedDomain

extraData

The possible extra data to be carried with the error

Constructors

DomainError

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

constructor(message: String? = null, cause: Throwable? = null, context: ExecutionContext, expectedDomain: DomainError.Expected, actualValue: Term, extraData: Term? = null)

Types

Companion

object Companion

Expected

enum Expected : TermConvertible, Enum<DomainError.Expected>

A class describing the expected domain whose absence caused the error

Properties

cause

expect open val cause: Throwable?

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

culprit

val culprit: Term

errorStruct

val errorStruct: Struct

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

expectedDomain

val expectedDomain: DomainError.Expected

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 override val type: Struct

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): DomainError

toString

open override fun toString(): String

updateContext

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

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): DomainError