yypushback

open fun yypushback(number: Int)

Pushes the specified amount of characters back into the input stream. They will be read again by then next call of the scanning method

Parameters

number

the number of characters to be read again. This number must not be greater than yylength()!