Question

我正在尝试编写LEPL语法来描述布尔搜索语言。这就是我到目前为止所做的：

from lepl import *
text = String() | Word()
tail = ~Lookahead('AND') & ~Lookahead('OR') & text
with DroppedSpace():
    andClause = (tail & Lookahead('AND') & Drop('AND') & tail)[1:] > tuple
    orClause = (tail & Lookahead('OR') & Drop('OR') & tail)[1:] > list
    andOrText = (andClause & Lookahead('OR') & Drop('OR') & tail)[1:] > list
    orAndText = (orClause & Lookahead('AND') & Drop('AND') & tail)[1:] > tuple
    oredAnds = (andClause & Lookahead('OR') & Drop('OR') & andClause)[1:] > list
    andedOrs = (orClause & Lookahead('AND') & Drop('AND') & orClause)[1:] > tuple
    query = (oredAnds | andedOrs | orAndText | andOrText | orClause | andClause | text)[:]

query.parse('foo AND bar') # Works
query.parse('"bar none" OR foo') # Works
query.parse('foo AND "bar none" OR baz AND floo') # Works
query.parse('a AND b OR c AND d OR e') # Doesn't work

最后parse产生了这个：

[[('a', 'b'), ('c', 'd')], 'OR', 'e']

它应该产生这个：

[[('a', 'b'), ('c', 'd'), 'e']]

如何解决此问题以获得我想要的解析？如果我能说“无论什么和不管”成为tuple，并且“无论什么或不管”成为list，我认为它会解决它。

Answer 1

编辑：由于this article而添加了关键字参数，因此摆脱了懒散的左递归。

from lepl import *
def ander(result):
    if len(result) == 2:
        return (result[0], result[1])
    return result[0]
text = String() | Word()
andClausePrime = Delayed()
label = text & Drop(':')
with DroppedSpace():
    parameter = label & text > (lambda r: {r[0]: r[1]})
    andClause = (parameter | text) & andClausePrime > ander
    andClausePrime += (Drop('AND') & (andClause | parameter | text) & andClausePrime)[:]
    expr = andClause | parameter | text
    query = expr & (Drop('OR') & expr)[:]

结果：

>>> query.parse('a AND b')
[('a', 'b')]
>>> query.parse('a AND b AND c')
[('a', ('b', 'c'))]
>>> query.parse('a AND b AND c AND d')
[('a', ('b', ('c', 'd')))]
>>> query.parse('a AND b AND c AND d OR e AND f')
[('a', ('b', ('c', 'd'))), ('e', 'f')]
>>> query.parse('a AND b AND c AND d OR e OR f')
[('a', ('b', ('c', 'd'))), 'e', 'f']
>>> query.parse('foo AND bar')
[('foo', 'bar')]
>>> query.parse('"bar none" OR foo')
['bar none', 'foo']
>>> query.parse('key:value AND "hey now":5 OR "what is":up')
[({'key': 'value'}, {'hey now': '5'}), {'what is': 'up'}]

使用LEPL解析布尔搜索查询

1 个答案: