@return Whether or not the index is at the end of the character array
()
| 109 | |
| 110 | /** @return Whether or not the index is at the end of the character array */ |
| 111 | public boolean isEOF() { |
| 112 | return mark >= chars.length; |
| 113 | } |
| 114 | |
| 115 | /** Increments the mark over white spaces */ |
| 116 | public void skipWhitespaces() { |
no outgoing calls