smalltalk - 使用 PetitParser 定义左关联解析器

Question

在 http://pharobooks.gforge.inria.fr/PharoByExampleTwo-Eng/latest/ ，定义了一个ExpressionGrammar。然而，它是右关联的

parser parse: '1 + 2 + 6'.    ======> #(1 $+ #(2 $+ 6))

如何使其左关联，以便

parser parse: '1 + 2 + 6'.

结果

#(#(1 $+ 2) $+ 6)

？

Answer 1

对于左联想语法，使用:

term := (prod sepratedBy: $+ asParser trim) foldLeft: [ :a :op :b |

...]

对于右联想语法，请使用:

raise := (prod sepratedBy: $^ asParser trim) foldRight: [ :a :op :b |

...]

或者，您可能想查看PPExpressionParser，它会自动为您处理所有详细信息。您只需告诉它哪些运算符是左关联、右关联、前缀或后缀运算符。查看类评论以进行深入讨论。