javascript - PEGJS:如何将 NOT (!) 逻辑运算符添加到解析 AND (&&) OR (||) 逻辑语句的语法中

Question

我对编写语法非常陌生(准确地说是第一次)，我想创建一个可以为基本逻辑语句返回 AST 的语法。到目前为止，我有一个可以处理 AND、OR 逻辑的语法(我只是修改了官方 pegjs 站点上的基本计算器示例)。这是语法当前的作用:

声明

item1 && item2

返回 AST

{
   "type": "AND",
   "left": "item1",
   "right": "item2"
}

声明:

(item1 || item2) && item3

返回 AST

{
   "type": "AND",
   "left": {
      "type": "OR",
      "left": "item1",
      "right": "item2"
   },
   "right": "item3"
}

这是我到目前为止的语法。它可以直接粘贴到在线 pegjs 解析器 ( http://pegjs.majda.cz/online )。

start
  = logical_or

logical_or
  = left:logical_and ws+ "||" ws+ right:logical_or { return {type: "OR", left:left, right:right} }
  / logical_and

logical_and
  = left:primary ws+ "&&" ws+ right:logical_and { return {type: "AND", left:left, right:right} }
  / primary

primary
  = token
  / "(" logical_or:logical_or ")" { return logical_or; }

token 
  = token:[a-zA-Z0-9_]+ { return token.join(""); }

ws 
  = [ \t]

我想做的是添加对 NOT 运算符 (!) 的支持。例如，我希望能够解析以下语句:

item1 && !item2
!(item1 && item2 && item3)

我的第一个问题是您通常如何在 AST 中表示 NOT 运算符？似乎 not 运算符可以应用于 AST 的整个左分支或右分支，但与 OR 和 AND 不同的是，AND 不会同时具有左分支和右分支。

第二个问题是如何在 PEGJS 语法中支持 NOT 运算符？

非常感谢您的宝贵时间!

编辑:修复了 AST 表示

Answer 1

你只需要在“AND”和“primary”之间引入一层:

logical_and
  = left:factor ws+ "&&" ws+ right:logical_and { return {type: "AND", left:left, right:right} }
  / factor

factor
  = "!" ws* operand:factor { return {type: "NOT", operand: operand } }
  / primary

由于 ! 是一元运算符，“左”和“右”实际上没有意义；我使用了“操作数”。