parser-core/it.unibo.tuprolog.core.parsing/ParseException

ParseException

open class ParseException(var input: Any?, var offendingSymbol: String?, var line: Int, var column: Int, message: String?, throwable: Throwable?) : TuPrologException

Reports a failure while turning Prolog source into a tuProlog domain object.

This is the stable exception boundary of parser-core and parser-theory. Low-level lexical and syntactic failures from parser-impl are retained as cause, while their diagnostic data is projected onto this type. Consequently, line and column are one-based even though the source positions used by parser-impl are zero-based.

clauseIndex is set by theory parsers and readers to the zero-based index of the clause that failed. It remains -1 when no clause index applies.

Parameters

message

human-readable description of the failure

throwable

lower-level cause, normally a typed parser-impl syntax exception

Inheritors

InvalidTermTypeException

Constructors

constructor(input: Any?, offendingSymbol: String?, line: Int, column: Int, message: String?, throwable: Throwable?)

Properties

expect open val cause: Throwable?

var clauseIndex: Int

Zero-based failing clause index, or -1 when the failure is not associated with a theory.

var column: Int

one-based column containing the failure

var input: Any?

original input, or its diagnostic identifier when parsing a streamed source

one-based line containing the failure

expect open val message: String?

offendingSymbol

var offendingSymbol: String?

source text associated with the failure, if one is available

Functions

open override fun toString(): String

Returns a compact representation of the available diagnostic fields.