python - Pyparsing 生成带有组的二叉 AST 树

Question

嗨，我正在开发一个用于过程演算的解析器。我已经开发了一个使用setParseAction和自定义 AST 类，但现在我想重写它以使用 dicts 和 list。

from pyparsing import *                                                                                                                                                               

integer = Word(nums).setParseAction(lambda t:int(t[0]))                                                                                                                               
variable = Word(alphas,exact=1)                                                                                                                                                       
operand = Word(alphas.upper(), alphanums+"_")                                                                                                                                         
semicol = Literal(";").suppress()                                                                                                                                                     
equals = Literal("=")  

expr = operatorPrecedence( operand,                                                                                                                                                   
[(".", 2, opAssoc.LEFT),                                                                                                                                                          
 ("+", 2, opAssoc.LEFT),]                                                                                                                                                         
)

rmdef = operand + equals + expr                                                                                                                                                       
expr_def = rmdef + semicol                                                                                                                                                                          

test = ["P = A.(B.C + E.D);",                                                                                                                                                         
"P = A.B.C;"                                                                                                                                                                  
]   

这将返回：

['P', '=', ['A', '.', [['B', '.', 'C'], '+', ['E', '.', 'D']]]]
['P', '=', ['A', '.', 'B', '.', 'C']]

我的问题是关于第二个例子。我希望它是，我该怎么做

['P', '=', ['A', '.' [ 'B', '.', 'C' ]]]

Answer 1

在expr您定义了“。” 运算符是左关联的，但在您想要的输出中，它是右关联的。改变：

expr = operatorPrecedence(operand,
    [(".", 2, opAssoc.LEFT),
     ("+", 2, opAssoc.LEFT),]
    )

至

expr = operatorPrecedence(operand,
    [(".", 2, opAssoc.RIGHT),
     ("+", 2, opAssoc.LEFT),]
    )

现在这段代码：

for t in test:
    print expr_def.parseString(t).asList()

印刷

['P', '=', ['A', '.', [['B', '.', 'C'], '+', ['E', '.', 'D']]]]
['P', '=', ['A', '.', ['B', '.', 'C']]]