Métodos del token manager para la obtención de los tokens del stream de entrada
Existen dos métodos para leer tokens del stream de entrada:
Token TheParser.getNextToken() throws
ParseError
Este método retorna el siguiente token disponible en el stream y mueve
el puntero a token un lugar en el stream, es decir, cambia el estado del
stream de entrada. Si no hay más tokens disponibles en el stream de entrada,
se lanza una excepción de ParseError. Este método debe invocarse con cuidado,
ya que puede interferir con el conocimiento del parser acerca del estado
del stream de entrada, el token corriente, etc.
Token TheParser.getToken(int index) throws
ParseError
Este método retorna el token con índice index-ésimo a partir del token
actual en el stream de tokens. Si index es 0, se retorna el token corriente.
El parámetro index no puede ser negativo. Este método no cambia el puntero
del stream de entrada.