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

IntegerDigits

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

Integer digits separated from their lexical radix prefix.

Constructors

constructor(radix: Int, digits: String)

Properties

val digits: String

digits without a radix prefix

numeric radix

Functions

toRepresentation

open override fun toRepresentation(): String

Reconstructs a normalized Prolog integer spelling.