parser-impl/it.unibo.tuprolog.parser.exceptions/PrologSyntaxException

PrologSyntaxException

sealed class PrologSyntaxException : RuntimeException

Root of all typed lexical and grammatical diagnostics produced by parser-impl.

Consumers should normally catch this type, then inspect code for stable programmatic classification. Coordinates in span are zero-based and end-exclusive. Higher-level parser-core and parser-theory APIs wrap this exception in their domain-facing ParseException while preserving it as the cause.

Parameters

message

human-readable diagnostic

cause

underlying source or decoding failure, if any

Inheritors

PrologLexingException

PrologParsingException

Properties

expect open val cause: Throwable?

val code: SyntaxErrorCode

stable category of the failure

val expected: Set<SyntaxExpectation>

structured descriptions of acceptable syntax

expect open val message: String?

val offendingText: String?

offending source spelling, or null when no token exists

val rulePath: List<String>

outer-to-inner grammar rules active at the failure

val sourceId: String?

optional diagnostic identifier of the source

val span: SourceSpan

exact source range associated with the failure