LexerOptions
data class LexerOptions(val retention: TokenRetention = TokenRetention.KEEP_ALL, val maximumRetainedTokens: Int? = null)
Configures lazy token production and retention.
Throws
if maximumRetainedTokens is not positive
Constructors
Link copied to clipboard
constructor(retention: TokenRetention = TokenRetention.KEEP_ALL, maximumRetainedTokens: Int? = null)
Properties
Link copied to clipboard
optional positive limit for tokens that cannot yet be released; exceeding it produces a it.unibo.tuprolog.parser.exceptions.TokenBufferLimitExceededException
Link copied to clipboard
policy controlling whether committed stream prefixes may be discarded