Read and consume the next character from the input. @return the next input character; #EOF if input is exhausted
()
| 76 | * @return the next input character; {@link #EOF} if input is exhausted |
| 77 | */ |
| 78 | public char read() { |
| 79 | return fill() ? buffer[++position] : EOF; |
| 80 | } |
| 81 | |
| 82 | /** |
| 83 | * Return a string containing the most recently consumed input characters. |