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

TokenPayload

sealed interface TokenPayload : Representable

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

Inheritors

Types

data class CharacterCode(val codePoint: Int) : TokenPayload

Decoded character-code literal.

data class IntegerDigits(val radix: Int, val digits: String) : TokenPayload

Integer digits separated from their lexical radix prefix.

data class Name(val value: String) : TokenPayload

Decoded atom, graphic atom, or variable name.

data class QuotedText(val decoded: String, val quoteKind: QuoteKind) : TokenPayload

Decoded quoted content and the delimiter family that produced it.

Functions

toRepresentation

abstract fun toRepresentation(): String

Returns the element's normalized representation, which need not preserve original trivia.