class MessageError: LogicError
Fields
Name | Description |
---|---|
val content: Term
|
The content of this message error |
Constructors
<init>
constructor(message: String?, cause: Throwable?, context: ExecutionContext, extraData: Term?)
Parameters
Name | Description |
---|---|
message: String?
|
|
cause: Throwable?
|
|
context: ExecutionContext
|
|
extraData: Term?
|
Methods
updateContext
fun updateContext(newContext: ExecutionContext, index: Int): MessageError
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 |
---|---|
MessageError
|
updateLastContext
fun updateLastContext(newContext: ExecutionContext): MessageError
Parameters
Name | Description |
---|---|
newContext: ExecutionContext
|
ReturnValue
Name | Description |
---|---|
MessageError
|
pushContext
fun pushContext(newContext: ExecutionContext): MessageError
Parameters
Name | Description |
---|---|
newContext: ExecutionContext
|
ReturnValue
Name | Description |
---|---|
MessageError
|
CompanionObject
MessageError
class MessageError: LogicError
The MessageError is used whenever no other LogicError instance is suitable for representing the error
Fields
Name | Description |
---|---|
const typeFunctor: String
|
The message error Struct functor |
Methods
of
fun of(content: Term, context: ExecutionContext, cause: Throwable?): MessageError
Factory method to create a MessageError
Parameters
Name | Description |
---|---|
content: Term
|
|
context: ExecutionContext
|
|
cause: Throwable?
|
ReturnValue
Name | Description |
---|---|
MessageError
|
The MessageError is used whenever no other LogicError instance is suitable for representing the error