All Classes and Interfaces
Class
Description
An active capture ⟨m|R⟧k, with skeleton state ⟨R⟧k.
A regular expression of the form r1|r2|r3|...|rn (n >= 2)
A scanner class that, unlike
java.util.Scanner, supports arbitrary
lookahead and backtracking.An input character along with information about the source of the
character, and its line number and position within the line.
A source of input for the scanner in which the input comes from a Reader.
A source of input for the scanner.
An unstarted capture pattern ⟦R⟧k
A set of characters (Unicode codepoints), matching any one character in the set.
A regular expression of the form r1r2r3...
Represents the end of the input ("end of file") being reached.
One way a regular expression matched some input: the matched text and the
span captured by each capture group.
A matcher for a regular expression with captures.
Tag operations applied to a capture environment at the current input position:
first all the starts (⊢k), then all the ends (⊣k).
A parser for turning regexp expressions into regexps.
A Recognizer that decides what other recognizer to use based on the lookahead character.
A Recognizer recognizes certain input sequences of characters available on a
BacktrackScanner, and invokes a continuation for each recognized sequence.
The remainder of a computation that can be performed after recognizing
input.
Represents successful matching of the input stream by a recognizer.
Regular expression support for
easyIO.ScannerA regular expression, with support for matching and searching an input source, based on
Brzozowski derivatives.
One summand of a derivative: a skeleton term and the tag operations that
produce its environments from the environments of the source term.
A
BacktrackScanner extended with convenience methods for
parsing common things like integers and identifiers.Kleene Star RE (r*)
Easy access to standard input and standard output, without fussing with exceptions.
A string of characters, possibly empty
Represents encountering input that does not match the expected syntax.