- <init>
Creates this from a given string.
- at
Returns a textual description of a given position, useful for appending to error
messages.
- consume
Consumes the character at this position.
Precondition: The character at this position is c.
Postcond
- consumeOptional
Advances the position by 1 if the character at the current position is c. Does
nothing otherwise.
- peek
Returns whether the character at the current position is c.
- position
The current position into this string
- setPosition
Assigns the current position in the string
- string
The complete string value of this
- substring
Returns a substring of this from the current position to the end argument
- consumeTo
Sets the position of this to the next occurrence of c after the current
position.
- consumeToPosition
Returns the substring between the current position and position and advances the
current position to
- indexOf
Returns the position of the next occurrence of c, or -1 if there are no
occurrences of c in the stri