RepresentationError

class RepresentationError: LogicError

A representation error occurs when an implementation limit has been breached

Fields

Name Description
val type: Struct

The error type structure

val limit: Limit

the name of the reached limit

Constructors

<init>

constructor(message: String?, cause: Throwable?, context: ExecutionContext, limit: Limit, extraData: Term?)

Parameters

Name Description
message: String?
cause: Throwable?
context: ExecutionContext
limit: Limit
extraData: Term?

<init>

constructor(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, limit: Limit, extraData: Term?)

A representation error occurs when an implementation limit has been breached

Parameters

Name Description
message: String?

the detail message string.

cause: Throwable?

the cause of this exception.

contexts: Array<ExecutionContext>

a stack of contexts localising the exception

limit: Limit

the name of the reached limit

extraData: Term?

the possible extra data to be carried with the error

Methods

updateContext

fun updateContext(newContext: ExecutionContext, index: Int): RepresentationError

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.

Parameters

Name Description
newContext: ExecutionContext
index: Int

ReturnValue

Name Description
RepresentationError

updateLastContext

fun updateLastContext(newContext: ExecutionContext): RepresentationError

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
RepresentationError

pushContext

fun pushContext(newContext: ExecutionContext): RepresentationError

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
RepresentationError

CompanionObject

RepresentationError

class RepresentationError: LogicError

A representation error occurs when an implementation limit has been breached

Fields

Name Description
const typeFunctor: String

The permission error Struct functor

Methods

of

fun of(context: ExecutionContext, signature: Signature, limit: Limit, cause: Throwable?): RepresentationError

Parameters

Name Description
context: ExecutionContext
signature: Signature
limit: Limit
cause: Throwable?

ReturnValue

Name Description
RepresentationError