Index

A B C D E F G H I L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Serialized Form

A

abort() - Method in class easyIO.BacktrackScanner: Roll the input position back to the most recent mark, and erase the mark, effectively restarting scanning from that position.
accept() - Method in class easyIO.BacktrackScanner: Effect: Erase the previous mark from the input, effectively accepting all input up to the current position.
ActiveCapture - Class in easyIO.regexp: An active capture ⟨m|R⟧k, with skeleton state ⟨R⟧k.
advance() - Method in class easyIO.BacktrackScanner: Advance past the next character, if any.
advanceToPattern(BacktrackScanner, Recognizer) - Static method in class easyIO.recognizer.Regex: Advance the scanner position to the point where the pattern recognized by r is found, or all the way to the end of the input if it is not found.
alt(Recognizer, Recognizer) - Static method in class easyIO.recognizer.Regex: Recognizes either a or b (regular expression a|b)
alt(RegExp...) - Static method in class easyIO.regexp.AlternationRE
AlternationRE - Class in easyIO.regexp: A regular expression of the form r1|r2|r3|...|rn (n >= 2)
anyButLineBreak() - Static method in class easyIO.regexp.CharacterClass: Any one character except a line break ('\n' or '\r').
anyChar() - Static method in class easyIO.regexp.CharacterClass: Any one character.
anyChar(String) - Static method in class easyIO.recognizer.Regex: Recognizer that matches any single character in the string c
appendSource(Reader, String) - Method in class easyIO.BacktrackScanner: Add r to the input stream after existing inputs.
appendString(StringBuilder, int) - Method in class easyIO.regexp.ActiveCapture
appendString(StringBuilder, int) - Method in class easyIO.regexp.AlternationRE
appendString(StringBuilder, int) - Method in class easyIO.regexp.Capture
appendString(StringBuilder, int) - Method in class easyIO.regexp.CharacterClass
appendString(StringBuilder, int) - Method in class easyIO.regexp.Concat
appendString(StringBuilder, int) - Method in class easyIO.regexp.RegExp: Append a string representation of the regular expression to the builder b.
appendString(StringBuilder, int) - Method in class easyIO.regexp.StarRE
appendString(StringBuilder, int) - Method in class easyIO.regexp.StringRE
appendString(StringBuilder, int) - Method in class easyIO.regexp.VoidRE

B

BacktrackScanner - Class in easyIO: A scanner class that, unlike java.util.Scanner, supports arbitrary lookahead and backtracking.
BacktrackScanner() - Constructor for class easyIO.BacktrackScanner
BacktrackScanner(BacktrackScanner.Source) - Constructor for class easyIO.BacktrackScanner
BacktrackScanner(Reader) - Constructor for class easyIO.BacktrackScanner: Create a scanner that immediately starts reading from this Reader.
BacktrackScanner.Location - Class in easyIO: An input character along with information about the source of the character, and its line number and position within the line.
BacktrackScanner.ReaderSource - Class in easyIO: A source of input for the scanner in which the input comes from a Reader.
BacktrackScanner.Source - Interface in easyIO: A source of input for the scanner.

C

capture(RegExp) - Static method in class easyIO.regexp.Capture: A capture of e, to be numbered when a Matcher is created.
capture(RegExp, int) - Static method in class easyIO.regexp.Capture: A capture of e with index k (k ≥ 1).
Capture - Class in easyIO.regexp: An unstarted capture pattern ⟦R⟧k
CharacterClass - Class in easyIO.regexp: A set of characters (Unicode codepoints), matching any one character in the set.
check() - Method in interface easyIO.recognizer.Recognizer.Continuation
close() - Method in class easyIO.BacktrackScanner
close() - Method in class easyIO.BacktrackScanner.ReaderSource
close() - Method in interface easyIO.BacktrackScanner.Source
column() - Method in class easyIO.BacktrackScanner: The current column number.
column() - Method in class easyIO.BacktrackScanner.Location
column() - Method in class easyIO.BacktrackScanner.ReaderSource
column() - Method in interface easyIO.BacktrackScanner.Source: The current column of the source
computeDerivative(int) - Method in class easyIO.regexp.CharacterClass
concat(Recognizer, Recognizer) - Static method in class easyIO.recognizer.Regex: Recognizes a followed by b (regular expression ab)
concat(RegExp...) - Static method in class easyIO.regexp.Concat: A canonical RE equivalent to r0r1r2...
Concat - Class in easyIO.regexp: A regular expression of the form r1r2r3...
constant(String) - Static method in class easyIO.recognizer.Regex: Recognizes all of the characters in c, in sequence.
consume(String) - Method in class easyIO.Scanner: Scan past the specified string.
contains(int) - Method in class easyIO.regexp.CharacterClass: Whether codepoint is in this class.
create() - Static method in class easyIO.regexp.VoidRE
currentSource() - Method in class easyIO.BacktrackScanner: The current source of input.

D

depth() - Method in class easyIO.BacktrackScanner: The current number of marks.
derivative(int) - Method in class easyIO.regexp.RegExp: The (canonical) Brzozowski derivative of this regular expression.
derivative(int) - Method in class easyIO.regexp.StringRE
DerivTerm(RegExp, Ops) - Constructor for record class easyIO.regexp.RegExp.DerivTerm: Creates an instance of a DerivTerm record class.
digits() - Method in class easyIO.Scanner: Scan one or more digits.
dump(StringBuilder) - Method in class easyIO.BacktrackScanner: Dump the state of the scanner to w in a human-readable form.

E

easyIO - package easyIO: This package supports easier and more powerful I/O.
easyIO.recognizer - package easyIO.recognizer: Recognizers: composable matchers for input on a BacktrackScanner, built from combinators and matched by backtracking.
easyIO.regexp - package easyIO.regexp: Regular expressions with captures, matched using Brzozowski derivatives.
empty() - Static method in class easyIO.regexp.StringRE
end(int) - Method in class easyIO.regexp.Match: The end of capture k, or -1 if it did not participate in this match.
EOF - Exception Class in easyIO: Represents the end of the input ("end of file") being reached.
EOF() - Constructor for exception class easyIO.EOF
eol() - Method in class easyIO.Scanner: Scan to the end of the current line or to the end of the input, whichever is first.
equals(Object) - Method in class easyIO.regexp.ActiveCapture
equals(Object) - Method in class easyIO.regexp.AlternationRE
equals(Object) - Method in class easyIO.regexp.Capture
equals(Object) - Method in class easyIO.regexp.CharacterClass
equals(Object) - Method in class easyIO.regexp.Concat
equals(Object) - Method in class easyIO.regexp.Match
equals(Object) - Method in class easyIO.regexp.Ops
equals(Object) - Method in record class easyIO.regexp.RegExp.DerivTerm: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in class easyIO.regexp.StarRE
equals(Object) - Method in class easyIO.regexp.StringRE
equals(Object) - Method in class easyIO.regexp.VoidRE
everything - Static variable in class easyIO.regexp.AlternationRE
excludeRange(int, int) - Static method in class easyIO.regexp.CharacterClass: Any one character not from start to end.

F

FailedMatch() - Constructor for exception class easyIO.regexp.Matcher.FailedMatch
fillInStackTrace() - Method in exception class easyIO.recognizer.Recognizer.Success
floatingPoint() - Method in class easyIO.Scanner: Scan a floating-point number.

G

getMarkLocation() - Method in class easyIO.BacktrackScanner: Location in input source of the last mark.
getToken() - Method in class easyIO.BacktrackScanner: Return a string containing the characters from the most recent mark to the current position.
group(int) - Method in class easyIO.regexp.Match: The text captured by capture k, or null if it did not participate in this match.
groupCount() - Method in class easyIO.regexp.Match: The number of capture groups (not counting group 0): the largest capture index in the regular expression.

H

hasCaptures() - Method in class easyIO.regexp.ActiveCapture
hasCaptures() - Method in class easyIO.regexp.AlternationRE
hasCaptures() - Method in class easyIO.regexp.Capture
hasCaptures() - Method in class easyIO.regexp.Concat
hasCaptures() - Method in class easyIO.regexp.RegExp: Whether this RE contains any capture, started or not.
hasCaptures() - Method in class easyIO.regexp.StarRE
hashCode() - Method in class easyIO.regexp.ActiveCapture
hashCode() - Method in class easyIO.regexp.AlternationRE
hashCode() - Method in class easyIO.regexp.Capture
hashCode() - Method in class easyIO.regexp.CharacterClass
hashCode() - Method in class easyIO.regexp.Concat
hashCode() - Method in class easyIO.regexp.Match
hashCode() - Method in class easyIO.regexp.Ops
hashCode() - Method in record class easyIO.regexp.RegExp.DerivTerm: Returns a hash code value for this object.
hashCode() - Method in class easyIO.regexp.StarRE
hashCode() - Method in class easyIO.regexp.StringRE
hashCode() - Method in class easyIO.regexp.VoidRE
hasNext() - Method in class easyIO.BacktrackScanner: Whether there is a character ahead in input.
hasNext(Matcher) - Method in class easyIO.Scanner: Whether next(m) would succeed: that is, whether some prefix of the input, possibly empty, matches the regular expression of m.
hasNext(String) - Method in class easyIO.Scanner: Whether next(pattern) would succeed.
hasPattern(BacktrackScanner, Recognizer) - Static method in class easyIO.recognizer.Regex: Whether the next characters on the input can be matched by r.

I

identifier() - Method in class easyIO.Scanner: Scan an identifier ala Java.
includeSource(BacktrackScanner.Source) - Method in class easyIO.BacktrackScanner: Include a new input source to the input stream starting at the current position and ahead of any existing inputs.
includeSource(Reader, String) - Method in class easyIO.BacktrackScanner: Include r in the input stream ahead of any existing inputs.
inputPosition() - Method in class easyIO.BacktrackScanner: Current character position of the scanner in the combined input stream.
inputVersion() - Method in class easyIO.BacktrackScanner: A value that changes whenever the input stream is changed by including or appending a source.
integer() - Method in class easyIO.Scanner: Scan past an integer constant.
invariant() - Method in class easyIO.BacktrackScanner
isSet(int) - Method in class easyIO.regexp.Match: Whether capture k matched something (possibly empty) in this match.
isVoid() - Method in class easyIO.regexp.ActiveCapture
isVoid() - Method in class easyIO.regexp.AlternationRE
isVoid() - Method in class easyIO.regexp.Capture
isVoid() - Method in class easyIO.regexp.RegExp: Whether this RE matches no strings.
isVoid() - Method in class easyIO.regexp.VoidRE

L

lineNo() - Method in class easyIO.BacktrackScanner: The current line number.
lineNo() - Method in class easyIO.BacktrackScanner.Location
lineNo() - Method in class easyIO.BacktrackScanner.ReaderSource
lineNo() - Method in interface easyIO.BacktrackScanner.Source: The current line number of the source
location() - Method in class easyIO.BacktrackScanner: Location in input source of the current position.
Location(BacktrackScanner.Source, int, int, int) - Constructor for class easyIO.BacktrackScanner.Location
lowSurrogate(int) - Method in class easyIO.BacktrackScanner

M

mark() - Method in class easyIO.BacktrackScanner: Add a mark at the current position.
mark(int) - Method in class easyIO.BacktrackScanner
markSupported() - Method in class easyIO.BacktrackScanner
match(BacktrackScanner) - Method in class easyIO.regexp.Matcher: All the ways the regular expression matches the entire input, in no particular order.
match(CharSequence) - Method in class easyIO.regexp.Matcher: All the ways the regular expression matches the entire input s, in no particular order.
Match - Class in easyIO.regexp: One way a regular expression matched some input: the matched text and the span captured by each capture group.
Matcher - Class in easyIO.regexp: A matcher for a regular expression with captures.
Matcher(RegExp) - Constructor for class easyIO.regexp.Matcher: Create a matcher for r.
Matcher(String) - Constructor for class easyIO.regexp.Matcher: Create a matcher based on a regular expression to be parsed.
Matcher.FailedMatch - Exception Class in easyIO.regexp
matchPrefix(BacktrackScanner, boolean) - Method in class easyIO.regexp.Matcher: The ways the longest prefix of the input, starting at the current position, matches the regular expression, possibly the empty prefix.

N

name() - Method in class easyIO.BacktrackScanner.ReaderSource
name() - Method in interface easyIO.BacktrackScanner.Source: The name of the source, for diagnostic purposes.
newline() - Method in class easyIO.Scanner: Scan past a optional carriage return character and a newline character.
next() - Method in class easyIO.BacktrackScanner: Read the next character from the stream.
next(Matcher) - Method in class easyIO.Scanner: Scan past and return the longest prefix of the input, starting at the current position, that matches the regular expression of m.
next(String) - Method in class easyIO.Scanner: Scan past and return the longest prefix of the input, starting at the current position, that matches the regular expression pattern, written in the syntax of easyIO.regexp.Parser.
nextCodePoint() - Method in class easyIO.BacktrackScanner: Read the next character from the stream.
nextDigit() - Method in class easyIO.Scanner: Scan past and return the next character if it is a digit.
nextDouble() - Method in class easyIO.Scanner: Scan past a floating-point constant and return its value as a double
nextIdentifier() - Method in class easyIO.Scanner: Scan past and return an identifier.
nextInt() - Method in class easyIO.Scanner: Scan past an integer constant and return its value.
nextLine() - Method in class easyIO.Scanner: Scan past and return all text from the current position to the next newline character.
nextMatches(Matcher) - Method in class easyIO.Scanner: Scan past the longest prefix of the input, starting at the current position, that matches the regular expression of m, and return all the ways it matches, with their captures.
NONE - Static variable in class easyIO.regexp.Ops
notChar(String) - Static method in class easyIO.recognizer.Regex: Recognizer that matches any single character not in the string c.
nullable() - Method in class easyIO.regexp.ActiveCapture
nullable() - Method in class easyIO.regexp.AlternationRE
nullable() - Method in class easyIO.regexp.Capture
nullable() - Method in class easyIO.regexp.CharacterClass
nullable() - Method in class easyIO.regexp.Concat
nullable() - Method in class easyIO.regexp.RegExp: Whether this RE matches the empty string
nullable() - Method in class easyIO.regexp.StringRE
nullable() - Method in class easyIO.regexp.VoidRE
nullOps() - Method in class easyIO.regexp.RegExp: The ways this term can match the empty string, each given by the tag operations that complete its captures.

O

of(int[], boolean) - Static method in class easyIO.regexp.CharacterClass: A canonical RE matching any one character in the given ranges, or any one character not in them if negated.
oneOrMore(Recognizer) - Static method in class easyIO.recognizer.Regex: Recognizes 1 or more instances of a (a+)
oneOrMore(RegExp) - Static method in class easyIO.regexp.StarRE: A canonical regular expression equivalent to r+ (Unix notation for 1 or more consecutive matches)
ops() - Method in record class easyIO.regexp.RegExp.DerivTerm: Returns the value of the ops record component.
Ops - Class in easyIO.regexp: Tag operations applied to a capture environment at the current input position: first all the starts (⊢k), then all the ends (⊣k).
opt(Recognizer) - Static method in class easyIO.recognizer.Regex: Recognizes 0 or 1 instance of a (regular expression a?)
optDigits() - Method in class easyIO.Scanner: Scan past all digits at the current posn, if any.
optional(RegExp) - Static method in class easyIO.regexp.AlternationRE: A canonical RE for r? (Unix regex notation)

P

parse(String) - Static method in class easyIO.regexp.Parser: Parse a regular expression.
parse(String, int) - Static method in class easyIO.regexp.Parser: Parse a regular expression, numbering its captures firstCapture, firstCapture + 1, ...
parseAlts(BacktrackScanner) - Static method in class easyIO.regexp.Parser
parseConcat(BacktrackScanner) - Static method in class easyIO.regexp.Parser
parsePattern(BacktrackScanner, Recognizer) - Static method in class easyIO.recognizer.Regex: Match the input characters starting at the current position against the pattern r and return the characters matched.
Parser - Class in easyIO.regexp: A parser for turning regexp expressions into regexps.
Parser() - Constructor for class easyIO.regexp.Parser
Parser.SyntaxError - Exception Class in easyIO.regexp
parseToDelimiter(BacktrackScanner, Recognizer) - Static method in class easyIO.recognizer.Regex: Return all the characters from the current scanner position up to the first occurrence of the delimiter pattern delim, leaving the scanner position either immediately after that delimiter pattern or at the end of the string if the delimiter pattern was never found.
parseToPattern(BacktrackScanner, Recognizer) - Static method in class easyIO.recognizer.Regex: Return all the text between the current scanner position and the first occurrence of the pattern recognized by r.
peek() - Method in class easyIO.BacktrackScanner: The next character ahead in the input.
PredictiveRecognizer - Class in easyIO.recognizer: A Recognizer that decides what other recognizer to use based on the lookahead character.
PredictiveRecognizer() - Constructor for class easyIO.recognizer.PredictiveRecognizer
print(char) - Static method in class easyIO.StdIO: Print a char to standard output.
print(int) - Static method in class easyIO.StdIO: Print an int to standard output.
print(String) - Static method in class easyIO.StdIO: Output a string to standard output.
println() - Static method in class easyIO.StdIO: Output a newline to standard output.
println(int) - Static method in class easyIO.StdIO: Print an int to standard output, followed by a newline.
println(String) - Static method in class easyIO.StdIO: Output a string to standard output, followed by a newline.

Q

quote(String) - Static method in class easyIO.regexp.StringRE

R

range(int, int) - Static method in class easyIO.regexp.CharacterClass: Any one character from start to end, inclusive.
read() - Method in class easyIO.BacktrackScanner.ReaderSource: Return the next character location or null if eof is reached.
read() - Method in interface easyIO.BacktrackScanner.Source: Return the next character location or null if eof is reached.
read(char[], int, int) - Method in class easyIO.BacktrackScanner
ReaderSource(Reader, String) - Constructor for class easyIO.BacktrackScanner.ReaderSource: Create a source named n whose input comes from r
readln() - Static method in class easyIO.StdIO: Read a line from standard input.
recognize(BacktrackScanner, Recognizer.Continuation) - Method in class easyIO.recognizer.PredictiveRecognizer
recognize(BacktrackScanner, Recognizer.Continuation) - Method in interface easyIO.recognizer.Recognizer: For each possible way of recognizing the input, advance inp past the point where the input is recognized and invoke cont.
Recognizer - Interface in easyIO.recognizer: A Recognizer recognizes certain input sequences of characters available on a BacktrackScanner, and invokes a continuation for each recognized sequence.
Recognizer.Continuation - Interface in easyIO.recognizer: The remainder of a computation that can be performed after recognizing input.
Recognizer.Success - Exception Class in easyIO.recognizer: Represents successful matching of the input stream by a recognizer.
Regex - Class in easyIO.recognizer: Regular expression support for easyIO.Scanner
RegExp - Class in easyIO.regexp: A regular expression, with support for matching and searching an input source, based on Brzozowski derivatives.
RegExp() - Constructor for class easyIO.regexp.RegExp
RegExp.DerivTerm - Record Class in easyIO.regexp: One summand of a derivative: a skeleton term and the tag operations that produce its environments from the environments of the source term.
RegExps - Static variable in class easyIO.regexp.RegExp
repeat(Recognizer) - Static method in class easyIO.recognizer.Regex: Recognizes 0 or more instances of a (regular expression a*)
reset() - Method in class easyIO.BacktrackScanner

S

Scanner - Class in easyIO: A BacktrackScanner extended with convenience methods for parsing common things like integers and identifiers.
Scanner() - Constructor for class easyIO.Scanner: Create a scanner that has no input source (yet).
Scanner(BacktrackScanner.Source) - Constructor for class easyIO.Scanner
Scanner(Reader, String) - Constructor for class easyIO.Scanner: Create a scanner that reads from input source r, calling the source name.
Scanner(String) - Constructor for class easyIO.Scanner: Create a scanner that reads from file named filename.
scanPattern(BacktrackScanner, Recognizer) - Static method in class easyIO.recognizer.Regex: Match the input characters starting at the current position against the pattern r and advance the scanner position beyond the matched characters.
search(BacktrackScanner) - Method in class easyIO.regexp.Matcher: Find the first occurrence of the entire regular expression on the input.
source() - Method in class easyIO.BacktrackScanner: Name of the current input source.
star(RegExp) - Static method in class easyIO.regexp.StarRE: A canonical regular expression equivalent to r*
StarRE - Class in easyIO.regexp: Kleene Star RE (r*)
start(int) - Method in class easyIO.regexp.Match: The start of capture k, or -1 if it did not participate in this match.
stdin - Static variable in class easyIO.StdIO: Standard input, as a BufferedReader
StdIO - Class in easyIO: Easy access to standard input and standard output, without fussing with exceptions.
stdout - Static variable in class easyIO.StdIO: Standard input, as a PrintWriter
string(String) - Method in class easyIO.BacktrackScanner: Scan the characters of string s from the input.
string(String) - Static method in class easyIO.regexp.StringRE
StringRE - Class in easyIO.regexp: A string of characters, possibly empty
Success() - Constructor for exception class easyIO.recognizer.Recognizer.Success

T

term() - Method in record class easyIO.regexp.RegExp.DerivTerm: Returns the value of the term record component.
termDerivative(int) - Method in class easyIO.regexp.RegExp: The derivative of this skeleton term as a list of (term, ops) pairs, none of whose terms is void.
toString() - Method in class easyIO.BacktrackScanner.Location
toString() - Method in class easyIO.BacktrackScanner.ReaderSource
toString() - Method in class easyIO.BacktrackScanner
toString() - Method in class easyIO.regexp.Match
toString() - Method in class easyIO.regexp.Ops
toString() - Method in record class easyIO.regexp.RegExp.DerivTerm: Returns a string representation of this record class.
toString() - Method in class easyIO.regexp.RegExp
trailingWhitespace() - Method in class easyIO.Scanner: Scan past any whitespace up to the end of the line, the end of the file, or the next non-whitespace character.

U

UnexpectedInput - Exception Class in easyIO: Represents encountering input that does not match the expected syntax.
UnexpectedInput() - Constructor for exception class easyIO.UnexpectedInput
UnexpectedInput(String, BacktrackScanner.Location) - Constructor for exception class easyIO.UnexpectedInput

V

VoidRE - Class in easyIO.regexp
VoidRE() - Constructor for class easyIO.regexp.VoidRE

W

whitespace() - Static method in class easyIO.recognizer.Regex: Recognizer that matches a single whitespace character.
whitespace() - Method in class easyIO.Scanner: Scan past any whitespace.

A B C D E F G H I L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Serialized Form