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

SyntaxError

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

Constructors

SyntaxError

fun SyntaxError( message: String? = null, cause: Throwable? = null, context: ExecutionContext, extraData: <ERROR CLASS>? = null)

SyntaxError

fun SyntaxError( message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, extraData: <ERROR CLASS>? = null)

Types

Companion

object Companion

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): SyntaxError

toString

open override fun toString(): String

updateContext

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

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

open override fun updateLastContext(newContext: ExecutionContext): SyntaxError

Properties

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

errorStruct

val errorStruct: <ERROR CLASS>

The error Struct as described in Prolog standard: error(error_type, error_extra)

extraData

open val extraData: <ERROR CLASS>? = null

logicStackTrace

val logicStackTrace: List<<ERROR CLASS>>

The exception stacktrace; shorthand for context.prologStackTrace

type

open val type: <ERROR CLASS>