forked from wbond/pymeta3
-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
90 lines (72 loc) · 2.46 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
========
PyMeta3
========
--------------------------------------------
A Pattern-Matching Language Based on Python
--------------------------------------------
This is a fork of PyMeta 0.5.0 that supports Python 2 and 3.
Installation
============
pip install PyMeta3
Summary
=======
PyMeta is an implementation of OMeta, an object-oriented pattern-matching
language developed by Alessandro Warth
(http://www.cs.ucla.edu/~awarth/ometa/). PyMeta provides a compact syntax based
on Parsing Expression Grammars (PEGs) for common lexing, parsing and
tree-transforming activities in a way that's easy to reason about for Python
programmers.
How It Works
============
PyMeta compiles a grammar to a Python class, with the rules as methods. The
rules specify parsing expressions, which consume input and return values if
they succeed in matching.
Basic syntax
~~~~~~~~~~~~~~~~
``foo ::= ....``
Define a rule named foo.
``expr1 expr2``
Match expr1, and then match expr2 if it succeeds, returning the value of
expr2. Like Python's ``and``.
``expr1 | expr2``
Try to match expr1 --- if it fails, match expr2 instead. Like Python's
``or``.
``expr*``
Match expr zero or more times, returning a list of matches.
``expr+``
Match expr one or more times, returning a list of matches.
``expr?``
Try to match expr. Returns None if it fails to match.
``~expr``
Fail if the next item in the input matches expr.
``<ruleName>``
Call the rule ``ruleName``.
``'x'``
Match the literal character 'x'.
``expr:name``
Bind the result of expr to the local variable ``name``.
``=> pythonExpression``
Evaluate the given Python expression and return its result.
Comments like Python comments are supported as well, starting with #
and extending to the end of the line.
Interface
=========
The starting point for defining a new grammar is
``pymeta.grammar.OMeta.makeGrammar``, which takes a grammar definition and a
dict of variable bindings for its embedded expressions and produces a Python
class. Grammars can be subclassed as usual, and makeGrammar can be called on
these classes to override rules and provide new ones. To invoke a grammar rule,
call ``grammarObject.apply()`` with its name.
Example Usage
=============
>>> from pymeta.grammar import OMeta
>>> exampleGrammar = """
ones ::= '1' '1' => 1
twos ::= '2' '2' => 2
stuff ::= (<ones> | <twos>)+
"""
>>> Example = OMeta.makeGrammar(exampleGrammar, {})
>>> g = Example("11221111")
>>> result, error = g.apply("stuff")
>>> result
[1, 2, 1, 1]