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

Package-level declarations

Types

class AmbiguousOperatorUseException(source: Source, operatorToken: Token, operatorText: String, val candidates: List<OperatorDefinition>, rulePath: List<String>) : PrologParsingException

Reports an occurrence for which several operator definitions remain applicable.

InvalidEscapeException

class InvalidEscapeException(source: Source, span: SourceSpan, offendingText: String, detail: String) : PrologLexingException

Reports an unsupported, incomplete, or out-of-range escape sequence in quoted text.

InvalidOperatorDefinitionException

class InvalidOperatorDefinitionException(message: String) : IllegalArgumentException

Indicates that an operator has an empty name or a priority outside the Prolog range.

MalformedNumericLiteralException

class MalformedNumericLiteralException(source: Source, span: SourceSpan, offendingText: String, detail: String) : PrologLexingException

Reports a numeric spelling whose radix, digits, exponent, or character code is incomplete.

MissingClauseTerminatorException

class MissingClauseTerminatorException(source: Source, token: Token, offendingText: String?, rulePath: List<String>) : PrologParsingException

Reports a clause that is not followed by a clause-terminating full stop.

MissingOperatorOperandException

class MissingOperatorOperandException(source: Source, operatorToken: Token, operatorText: String, val definition: OperatorDefinition, val side: String, rulePath: List<String>) : PrologParsingException

Reports a prefix, infix, or postfix operator occurrence without a required operand.

NestingLimitExceededException

class NestingLimitExceededException(source: Source, token: Token, val maximumDepth: Int, rulePath: List<String>) : PrologParsingException

Reports input nesting deeper than it.unibo.tuprolog.parser.ParserOptions.maximumNestingDepth.

OperatorPriorityException

class OperatorPriorityException(source: Source, operatorToken: Token, operatorText: String, val definition: OperatorDefinition, val operandPriority: Int, val side: String, rulePath: List<String>) : PrologParsingException

Reports an operand whose priority violates its operator's x or y constraint.

PrologLexingException

sealed class PrologLexingException : PrologSyntaxException

Base class for failures encountered while lazily converting source characters into tokens.

PrologParsingException

sealed class PrologParsingException : PrologSyntaxException

Base class for failures encountered while constructing Prolog syntax from valid tokens.

PrologSyntaxException

sealed class PrologSyntaxException : RuntimeException

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

SourceReadException

class SourceReadException(source: Source, span: SourceSpan, cause: Throwable) : PrologLexingException

Wraps a failure thrown while obtaining the next synchronous or asynchronous source chunk.

SyntaxErrorCode

enum SyntaxErrorCode : Enum<SyntaxErrorCode>

Stable programmatic categories for PrologSyntaxException diagnostics.

SyntaxExpectation

data class SyntaxExpectation(val description: String)

A human-readable description of one token or construct that could have appeared at an error.

TokenBufferLimitExceededException

class TokenBufferLimitExceededException(source: Source, span: SourceSpan, val maximumRetainedTokens: Int) : PrologLexingException

Reports that an uncommitted parse item exceeded its configured token-buffer bound.

UnexpectedCharacterException

class UnexpectedCharacterException(source: Source, span: SourceSpan, offendingText: String) : PrologLexingException

Reports a character that cannot begin any supported Prolog token.

UnexpectedEndOfInputException

class UnexpectedEndOfInputException(source: Source, token: Token, expected: Set<SyntaxExpectation>, rulePath: List<String>) : PrologParsingException

Reports EOF where the active grammar rule still requires another construct.

UnexpectedTokenException

class UnexpectedTokenException(source: Source, token: Token, offendingText: String, expected: Set<SyntaxExpectation>, rulePath: List<String>) : PrologParsingException

Reports a non-EOF token that is not accepted by the active grammar rule.

UnterminatedBlockCommentException

class UnterminatedBlockCommentException(source: Source, span: SourceSpan) : PrologLexingException

Reports a block comment that reaches EOF without a matching closing delimiter.

UnterminatedQuotedLiteralException

class UnterminatedQuotedLiteralException(source: Source, span: SourceSpan, quote: Char) : PrologLexingException

Reports a single- or double-quoted literal that reaches EOF without its closing quote.