Pushes the specified amount of characters back into the input stream. They will be read again by then next call of the scanning method. @param number the number of characters to be read again. This number must not be greater than #yylength().
(int number)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected