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
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
|
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.