Parsing : Table of Contents
Parsing -- a framework for building parsersAnalyzer -- the class of all lexical analyzerscharAnalyzer -- a lexical analyzer that provides characters from a string one at a time
nonspaceAnalyzer -- a lexical analyzer that provides non-white-space characters from a string one at a time
Parser -- the class of all parsersdeadParser -- a parser which accepts no tokens and is not in a terminal state
-
nullParser -- a terminal parser that returns the value nil
futureParser -- forward reference to a parser not defined yet
letterParser -- a parser that accepts a single letter and returns it
constParser -- produce a parser that accepts a fixed string, one character at a time
-
NNParser -- a parser that accepts (and returns) a natural number, one character at a time
ZZParser -- a parser that accepts (and returns) an integer, one character at a time
QQParser -- a parser that accepts (and returns) a rational number, one character at a time
optP -- making a parser optional
orP -- parsing alternatives
andP -- parser conjunction
-
+ Parser -- repetition of a parser at least once
-
Parser : Analyzer -- combine a parser with a lexical analyzer to make a complete system
nil -- a symbol a parser may return to indicate acceptance of the empty string of tokens