Package it.unibo.tuprolog.solve.exception.error

Types

DomainError
Link copied to clipboard
common
class DomainError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, expectedDomain: DomainError.Expected, culprit: Term, extraData: Term?) : PrologError
Content copied to clipboard
The domain error occurs when something has the correct type but the value is not admissible
ErrorUtils
Link copied to clipboard
common
object ErrorUtils
Content copied to clipboard
Prolog error handling utilities
EvaluationError
Link copied to clipboard
common
class EvaluationError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, errorType: EvaluationError.Type, extraData: Term?) : PrologError
Content copied to clipboard
The evaluation error occurs when some problem occurs in evaluating an arithmetic expression
ExistenceError
Link copied to clipboard
common
class ExistenceError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, expectedObject: ExistenceError.ObjectType, culprit: Term, extraData: Term?) : PrologError
Content copied to clipboard
The existence error occurs when an object on which an operation is to be performed does not exist
InstantiationError
Link copied to clipboard
common
class InstantiationError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, culprit: Var, extraData: Term?) : PrologError
Content copied to clipboard
The instantiation error occurs when some Term is a Variable, and it should not
MessageError
Link copied to clipboard
common
class MessageError : PrologError
Content copied to clipboard
The MessageError is used whenever no other PrologError instance is suitable for representing the error
PermissionError
Link copied to clipboard
common
class PermissionError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, operation: PermissionError.Operation, permission: PermissionError.Permission, culprit: Term, extraData: Term?) : PrologError
Content copied to clipboard
A permission error occurs when an attempt to perform a prohibited operation is made
RepresentationError
Link copied to clipboard
common
class RepresentationError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, limit: RepresentationError.Limit, extraData: Term?) : PrologError
Content copied to clipboard
A representation error occurs when an implementation limit has been breached
SyntaxError
Link copied to clipboard
common
class SyntaxError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, extraData: Term?) : PrologError
Content copied to clipboard
SystemError
Link copied to clipboard
common
class SystemError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, extraData: Term?) : PrologError
Content copied to clipboard
The system error occurs when an internal problem occurred and if not caught, it will halt inferential machine
TypeError
Link copied to clipboard
common
class TypeError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, expectedType: TypeError.Expected, culprit: Term, extraData: Term?) : PrologError
Content copied to clipboard
The type error occurs when something is not of Expected type