SyntaxProblem

class SyntaxProblem(val line: Int, val column: Int, val token: String?, val description: String)

Where a text (a theory, a query, flags) does not parse: its line and column (from 1), the token found there when there is one, and why (description, as Unexpected token '.'; expected term)

Constructors

Link copied to clipboard
constructor(line: Int, column: Int, token: String?, description: String)

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
val column: Int
Link copied to clipboard
Link copied to clipboard
val length: Int

How many characters the problem spans from column: the token, or one

Link copied to clipboard
val line: Int
Link copied to clipboard

Functions

Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
Link copied to clipboard
open override fun hashCode(): Int
Link copied to clipboard
open override fun toString(): String