Parsing : Table of Contents

• Parsing -- a framework for building parsers

  • Analyzer -- the class of all lexical analyzers

    • charAnalyzer -- 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 parsers

    • deadParser -- a parser which accepts no tokens and is not in a terminal state
    • terminalParser -- produce a parser 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
    • optionalSignParser -- a parser that accepts an optional plus sign or minus sign
    • 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
    • + Parser -- repetition of a parser at least once
    • Function % Parser -- transform the value returned by a parser
  • 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