Constructor and Description |
---|
ScannerBuffer(Scanner inner)
Wraps around a custom scanner and stores all so far produced tokens in a buffer
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Symbol> |
getBuffered()
Read-Only access to the buffered Symbols
|
Symbol |
next_token()
Return the next token, or
null on end-of-file. |
public ScannerBuffer(Scanner inner)
inner
- the scanner to bufferpublic java.util.List<Symbol> getBuffered()
public Symbol next_token() throws java.lang.Exception
Scanner
null
on end-of-file.next_token
in interface Scanner
java.lang.Exception