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

Package-level declarations

Types

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

ErrorUtils

object ErrorUtils

Prolog error handling utilities

EvaluationError

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

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

ExistenceError

class ExistenceError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val expectedObject: ExistenceError.ObjectType, val culprit: Term, extraData: Term? = null) : LogicError

The existence error occurs when an object on which an operation is to be performed does not exist

InstantiationError

class InstantiationError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val culprit: Var = Var.anonymous(), extraData: Term? = null) : LogicError

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

MessageError

class MessageError : LogicError

The MessageError is used whenever no other LogicError instance is suitable for representing the error

PermissionError

class PermissionError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val operation: PermissionError.Operation, val permission: PermissionError.Permission, val culprit: Term, extraData: Term? = null) : LogicError

A permission error occurs when an attempt to perform a prohibited operation is made

RepresentationError

class RepresentationError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val limit: RepresentationError.Limit, extraData: Term? = null) : LogicError

A representation error occurs when an implementation limit has been breached

SyntaxError

class SyntaxError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, extraData: Term? = null) : LogicError

The syntax error occurs when a sequence of characters being read does not conform to the grammar of Prolog terms, e.g. while parsing a source file or a read_term-style built-in's input.

SystemError

class SystemError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, extraData: Term? = null) : LogicError

The system error occurs when an internal problem occurred and if not caught, it will halt inferential machine

TypeError

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

The type error occurs when something is not of Expected type