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

Package-level declarations

Types

enum QuoteKind : Enum<QuoteKind>

Delimiter family of a decoded quoted token payload.

data class Token(val id: Int, val kind: TokenKind, val channel: TokenChannel, val span: SourceSpan, val payload: TokenPayload? = null) : Representable

A lossless lexical token.

enum TokenChannel : Enum<TokenChannel>

Distinguishes grammar-significant tokens from losslessly retained whitespace and comments.

enum TokenKind : Enum<TokenKind>

Lexical category assigned without consulting an operator table.

sealed interface TokenPayload : Representable

Decoded data attached to a token whose spelling is not fixed by TokenKind.