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

TypeError

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

The type error occurs when something is not of Expected type

Author

Enrico

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

expectedType

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

culprit

The value not respecting expectedType

extraData

The possible extra data to be carried with the error

Constructors

TypeError

fun TypeError( message: String? = null, cause: Throwable? = null, context: ExecutionContext, expectedType: TypeError.Expected, culprit: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

TypeError

fun TypeError( message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, expectedType: TypeError.Expected, culprit: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

Types

Companion

object Companion

Expected

enum Expected : Enum<TypeError.Expected>

A class describing the expected type whose absence caused the error

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): TypeError

toString

open override fun toString(): String

updateContext

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

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