parser-impl/it.unibo.tuprolog.parser.sources/TokenStore/get

get

abstract operator fun get(tokenId: Int): Token

Returns the token with absolute tokenId, forcing forward production when supported.

A lazy store reports a released tokenId (below firstTokenId) as IllegalArgumentException and a request beyond EOF as IndexOutOfBoundsException; a fully materialized store reports every ID outside its retained range as IndexOutOfBoundsException.

Throws

IndexOutOfBoundsException

if tokenId lies beyond EOF, or outside a materialized store's retained range

IllegalArgumentException

if tokenId was already released by a lazy store

it.unibo.tuprolog.parser.exceptions.PrologLexingException

if token production fails