SyntaxError

class SyntaxError: LogicError

Constructors

<init>

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

Parameters

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

<init>

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

Parameters

Name Description
message: String?
cause: Throwable?
contexts: Array<ExecutionContext>
extraData: Term?

Methods

updateContext

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.

Parameters

Name Description
newContext: ExecutionContext
index: Int

ReturnValue

Name Description
SyntaxError

updateLastContext

fun updateLastContext(newContext: ExecutionContext): SyntaxError

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
SyntaxError

pushContext

fun pushContext(newContext: ExecutionContext): SyntaxError

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
SyntaxError

CompanionObject

SyntaxError

class SyntaxError: LogicError

Fields

Name Description
const typeFunctor: String

The system error Struct functor

Methods

of

fun of(context: ExecutionContext, message: String): SyntaxError

Parameters

Name Description
context: ExecutionContext
message: String

ReturnValue

Name Description
SyntaxError

whileParsingTerm

fun whileParsingTerm(context: ExecutionContext, input: String, row: Int, column: Int, message: String): SyntaxError

Parameters

Name Description
context: ExecutionContext
input: String
row: Int
column: Int
message: String

ReturnValue

Name Description
SyntaxError

whileParsingClauses

fun whileParsingClauses(context: ExecutionContext, input: String, index: Int, row: Int, column: Int, message: String): SyntaxError

Parameters

Name Description
context: ExecutionContext
input: String
index: Int
row: Int
column: Int
message: String

ReturnValue

Name Description
SyntaxError

errorDetector

fun errorDetector(text: String, line: Int, column: Int, message: String?): String

Parameters

Name Description
text: String
line: Int
column: Int
message: String?

ReturnValue

Name Description
String