Skip to content

Latest commit

 

History

History
233 lines (143 loc) · 9.23 KB

Contrib-and-Examples.md

File metadata and controls

233 lines (143 loc) · 9.23 KB
Raw

Contrib and Examples

The PEGTL includes several parts that go beyond the core library functionality.

They are included both for convenience and to show how certain things can be done with the PEGTL.

Notice

All feedback is highly welcome, in particular whether more sub-rules to serve as attachment points for actions are required.

Similarly, if you have written a grammar with the PEGTL that might be generally useful, you are welcome to contribute it for inclusion in future versions.

For all questions and remarks contact us at taocpp(at)icemx.net.

Contents

Contrib

<tao/pegtl/contrib/abnf.hpp>
<tao/pegtl/contrib/alphabet.hpp>
  • Constants for ASCII letters.
  • Shortens string<'f','o','o'> to string<f,o,o>.
  • Ready for production use.
<tao/pegtl/contrib/changes.hpp>
<tao/pegtl/contrib/counter.hpp>
  • Control class for obtaining basic statistics from a parsing run, namely how often each rule
    1. was attempted to match,
    2. succeeded to match,
    3. failed to match.
<tao/pegtl/contrib/http.hpp>
  • HTTP 1.1 grammar according to RFC 7230.
  • Has been used successfully but is still considered experimental.
<tao/pegtl/contrib/integer.hpp>
  • Grammars and actions for PEGTL-input-to-integer conversions.
<tao/pegtl/contrib/json.hpp>
  • JSON grammar according to RFC 7159 (for UTF-8 encoded JSON only).
  • Ready for production use.
<tao/pegtl/contrib/parse_tree.hpp>
<tao/pegtl/contrib/raw_string.hpp>
  • Grammar rules to parse Lua-style long (or raw) string literals.
  • Ready for production use.
<tao/pegtl/contrib/rep_one_min_max.hpp>
  • Contains optimised version of rep_min_max< Min, Max, ascii::one< C > >:
  • Rule ascii::rep_one_min_max< Min, Max, C >.
  • Rule ascii::ellipsis as shortcut for ascii::rep_one_min_max< 3, 3, '.' >.
<tao/pegtl/contrib/to_string.hpp>

Utility function to_string<>() that converts template classes with arbitrary sequences of characters as template arguments into a std::string that contains these characters.

<tao/pegtl/contrib/tracer.hpp>
  • Control class that prints a line of information to std::cerr
    1. when and where a rule is attempted to match,
    2. when and where a rule succeeded to match,
    3. when and where a rule failed to match.
<tao/pegtl/contrib/unescape.hpp>

This file contains helpers to unescape JSON and C and similar escape sequences.

  • Utility functions frequently needed to unescape escape-sequences.
  • Action classes that perform unescaping of escape-sequences.
<tao/pegtl/contrib/uri.hpp>
  • URI grammar according to RFC 3986.
  • This is still experimental.

Examples

src/example/pegtl/abnf2pegtl.cpp

Reads a file with an ABNF (RFC 5234)-style grammar and converts it into corresponding PEGTL rules in C++. Some extensions and restrictions compared to RFC 5234:

  • As we are defining PEGs, the alternations are now ordered (sor<>).
  • The and- and not-predicates from PEGs have been added as & and !, respectively.
  • A single LF is also accepted as line ending.
  • C++ identifiers are formed by replacing the dashes in rulenames with underscores.
  • Reserved identifiers (keywords, ...) are rejected.
  • Numerical values must fit into the corresponding C++ data type.
src/example/pegtl/analyze.cpp

A small example that provokes the grammar analysis to find problems.

src/example/pegtl/calculator.cpp

A calculator with all binary operators from the C language that shows

  • how to use stack-based actions to perform a calculation on-the-fly during the parsing run, and
  • how to build a grammar with a run-time data structure for arbitrary binary operators with arbitrary precedence and associativity.

In addition to the binary operators, round brackets can be used to change the evaluation order. The implementation uses long integers as data type for all calculations.

$ build/src/example/pegtl/calculator "2 + 3 * -7"  "(2 + 3) * 7"
-19
35

In this example the grammar takes a bit of a second place behind the infrastructure for the actions required to actually evaluate the arithmetic expressions. The basic approach is "shift-reduce", which is very close to a stack machine, which is a model often well suited to PEGTL grammar actions: Some actions merely push something onto a stack, while other actions apply some functions to the objects on the stack, usually reducing its size.

src/example/pegtl/chomsky_hierarchy.cpp

Examples of grammars for regular, context-free, and context-sensitive languages.

src/example/pegtl/csv1.cpp and src/example/pegtl/csv2.cpp

Two simple examples for grammars that parse different kinds of CSV-style file formats.

src/example/pegtl/hello_world.cpp

Minimal parser-style "hello world" example from the Getting Started page.

src/example/pegtl/indent_aware.cpp

Shows one approach to implementing an indentation-aware language with a very very small subset of Python.

src/example/pegtl/json_parse.cpp

Shows how to use the custom error messages defined in json_errors.hpp with the <tao/pegtl/contrib/json.hpp> grammar to parse command line arguments as JSON data.

src/example/pegtl/json_build_one.cpp

Extends on json_parse.cpp by parsing JSON files into generic JSON data structures using the "switching style" of managing actions and states.

src/example/pegtl/json_build_two.cpp

Extends on json_parse.cpp by parsing JSON files into generic JSON data structures using a more monolithic approach to managing the states and actions.

src/example/pegtl/json_count.cpp

Shows how to use the included counter control, here together with the JSON grammar from <tao/pegtl/contrib/json.hpp>. Invoked with one or more JSON files as argument, will attempt to parse the files and print the statistics counters to std::cout.

src/example/pegtl/lua53_parse.cpp

Parses all files passed on the command line with a slightly experimental grammar that should correspond to the Lua 5.3 lexer and parser.

src/example/pegtl/modulus_match.cpp

Shows how to implement a custom parsing rule with the simplified calling convention.

src/example/pegtl/parse_tree.cpp

A small example which shows how to create a parse tree for a given grammar using <tao/pegtl/contrib/parse_tree.hpp>.

The example shows how to choose which rules will produce a parse tree node, which rules will store the content, and how to add additional transformations to the parse tree to transform it into an AST-like structure or to simplify it.

Running the example with a slightly longer expression:

$ build/src/example/pegtl/parse_tree "2 + a*b*4 - x / ( 2 - b + c - d )"
ROOT
  example::minus at :1:9(9)
    example::plus at :1:1(1)
      example::integer "2" at :1:0(0) to :1:1(1)
      example::multiply at :1:7(7)
        example::multiply at :1:5(5)
          example::variable "a" at :1:4(4) to :1:5(5)
          example::variable "b" at :1:6(6) to :1:7(7)
        example::integer "4" at :1:8(8) to :1:9(9)
    example::divide at :1:13(13)
      example::variable "x" at :1:12(12) to :1:13(13)
      example::minus at :1:27(27)
        example::plus at :1:23(23)
          example::minus at :1:19(19)
            example::integer "2" at :1:18(18) to :1:19(19)
            example::variable "b" at :1:22(22) to :1:23(23)
          example::variable "c" at :1:26(26) to :1:27(27)
        example::variable "d" at :1:30(30) to :1:31(31)
src/example/pegtl/proto3.cpp

Experimental grammar that parses Protocol Buffers (.proto3) files.

src/example/pegtl/recover.cpp

See PEGTL issue 55 and the source code for a description.

src/example/pegtl/s_expression.cpp

Grammar for a toy-version of S-expressions that shows how to include other files during a parsing run.

src/example/pegtl/sum.cpp

Simple example that adds a list of comma-separated doubles read from std::cin.

src/example/pegtl/symbol_table.cpp

Simple example that shows how to parse with a symbol table.

src/example/pegtl/unescape.cpp

Uses the building blocks from <tao/pegtl/contrib/unescape.hpp> to show how to actually unescape a string literal with various typical escape sequences.

src/example/pegtl/uri_trace.cpp

Shows how to use the included tracer control, here together with the URI grammar from <tao/pegtl/contrib/uri.hpp>. Invoked with one or more URIs as command line arguments will attempt to parse the URIs while printing trace information to std::cerr.

Copyright (c) 2014-2018 Dr. Colin Hirsch and Daniel Frey