Initializer |
Tokenizer() |
Attributes | |
column | Source Codeshared actual Integer column The column number within the current line. Refines Positioned.column |
hasMore | Source Codeshared formal Boolean hasMore Whether there is another character |
line | Source Codeshared actual Integer line The line number within the input. Refines Positioned.line |
position | Source Codeshared actual Integer position The position (in characters) within the input. Refines Positioned.position |
unexpectedEnd | Source Codeshared ParseException unexpectedEnd |
Inherited Attributes |
Attributes inherited from: Object |
Attributes inherited from: Positioned |
Methods | |
character | Source Codeshared formal Character character() The character at the current index, or throw |
check | Source Codeshared Boolean check(Character c) If the current |
eat | Source Codeshared void eat(Character c) If the current character is not the given character then throw,
otherwise |
eatChar | Source Codeshared Character eatChar() The character at the current index, and move one |
eatSpaces | Source Codeshared void eatSpaces() Consume characters until the first non-whitespace |
eatSpacesUntil | Source Codeshared void eatSpacesUntil(Character c) Consume characters until the given character occurs |
exception | Source Codeshared ParseException exception(String message) |
isDigit | Source Codeshared Boolean isDigit(Character c) true if the given character is
|
isSpace | Source Codeshared Boolean isSpace(Character c) true if the given character is a space,
newline ( |
moveOne | Source Codeshared void moveOne() Move to the next character |
unexpectedCharacter | Source Codeshared ParseException unexpectedCharacter(Character|String? expected) |
Inherited Methods |
Methods inherited from: Object |