PEGJS:如何将 NOT (!) 逻辑运算符添加到解析 AND (

•浏览 1

PEGJS: How to add NOT (!) logical operator to grammar that parses AND (&&) OR (||) logic statements

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

声明

item1 && item2
{

 "type":"AND",

 "left":"item1",

 "right":"item2"

}

(item1 || item2) && item3
{

 "type":"AND",

 "left": {

  "type":"OR",

  "left":"item1",

  "right":"item2"

 },

 "right":"item3"

}
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]
item1 && !item2

!(item1 && item2 && item3)
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

返回 AST

item1 && item2
{

 "type":"AND",

 "left":"item1",

 "right":"item2"

}

(item1 || item2) && item3
{

 "type":"AND",

 "left": {

  "type":"OR",

  "left":"item1",

  "right":"item2"

 },

 "right":"item3"

}
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]
item1 && !item2

!(item1 && item2 && item3)
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

声明：

item1 && item2
{

 "type":"AND",

 "left":"item1",

 "right":"item2"

}

(item1 || item2) && item3
{

 "type":"AND",

 "left": {

  "type":"OR",

  "left":"item1",

  "right":"item2"

 },

 "right":"item3"

}
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]
item1 && !item2

!(item1 && item2 && item3)
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

返回 AST

item1 && item2
{

 "type":"AND",

 "left":"item1",

 "right":"item2"

}

(item1 || item2) && item3
{

 "type":"AND",

 "left": {

  "type":"OR",

  "left":"item1",

  "right":"item2"

 },

 "right":"item3"

}
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]
item1 && !item2

!(item1 && item2 && item3)
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

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

item1 && item2
{

 "type":"AND",

 "left":"item1",

 "right":"item2"

}

(item1 || item2) && item3
{

 "type":"AND",

 "left": {

  "type":"OR",

  "left":"item1",

  "right":"item2"

 },

 "right":"item3"

}
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]
item1 && !item2

!(item1 && item2 && item3)
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

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

item1 && item2
{

 "type":"AND",

 "left":"item1",

 "right":"item2"

}

(item1 || item2) && item3
{

 "type":"AND",

 "left": {

  "type":"OR",

  "left":"item1",

  "right":"item2"

 },

 "right":"item3"

}
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]
item1 && !item2

!(item1 && item2 && item3)
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

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

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

非常感谢您的宝贵时间！

编辑：修复了 AST 表示

你只需要在 "AND" 和 "primary" 之间引入一个层：

item1 && item2
{

 "type":"AND",

 "left":"item1",

 "right":"item2"

}

(item1 || item2) && item3
{

 "type":"AND",

 "left": {

  "type":"OR",

  "left":"item1",

  "right":"item2"

 },

 "right":"item3"

}
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]
item1 && !item2

!(item1 && item2 && item3)
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

由于 ! 是一元运算符，"left" 和 "right" 没有真正意义；我使用了"操作数"。

赞 (0)
« 上一篇
下一篇 »

相关推荐

  • Spring部署设置openshift

    Springdeploymentsettingsopenshift我有一个问题让我抓狂了三天。我根据OpenShift帐户上的教程部署了spring-eap6-quickstart代码。我已配置调试选项，并且已将Eclipse工作区与OpehShift服务器同步-服务器上的一切工作正常，但在Eclipse中出现无法消除的错误。我有这个错误：cvc-complex-type.2.4.a:Invali…
    2025-04-161

  • 检查Java中正则表达式中模式的第n次出现

    CheckfornthoccurrenceofpatterninregularexpressioninJava本问题已经有最佳答案，请猛点这里访问。我想使用Java正则表达式检查输入字符串中特定模式的第n次出现。你能建议怎么做吗？这应该可以工作：MatchResultfindNthOccurance(intn,Patternp,CharSequencesrc){Matcherm=p.matcher…
    2025-04-161

  • 如何让 JTable 停留在已编辑的单元格上

    HowtohaveJTablestayingontheeditedcell如果有人编辑JTable的单元格内容并按Enter，则内容会被修改并且表格选择会移动到下一行。是否可以禁止JTable在单元格编辑后转到下一行？原因是我的程序使用ListSelectionListener在单元格选择上同步了其他一些小部件，并且我不想在编辑当前单元格后选择下一行。Enter的默认绑定是名为selectNext…
    2025-04-161

  • Weblogic 12c 部署

    Weblogic12cdeploy我正在尝试将我的应用程序从Tomcat迁移到Weblogic12.2.1.3.0。我能够毫无错误地部署应用程序，但我遇到了与持久性提供程序相关的运行时错误。这是堆栈跟踪：javax.validation.ValidationException:CalltoTraversableResolver.isReachable()threwanexceptionatorg.…
    2025-04-161

  • Resteasy Content-Type 默认值

    ResteasyContent-Typedefaults我正在使用Resteasy编写一个可以返回JSON和XML的应用程序，但可以选择默认为XML。这是我的方法：@GET@Path("/content")@Produces({MediaType.APPLICATION_XML,MediaType.APPLICATION_JSON})publicStringcontentListRequestXm…
    2025-04-161

  • 代码不会停止运行，在 Java 中

    thecodedoesn'tstoprunning,inJava我正在用Java解决项目Euler中的问题10，即"Thesumoftheprimesbelow10is2+3+5+7=17.Findthesumofalltheprimesbelowtwomillion."我的代码是packageprojecteuler_1;importjava.math.BigInteger;importjava…
    2025-04-161

  • Out of memory java heap space

    Outofmemoryjavaheapspace我正在尝试将大量文件从服务器发送到多个客户端。当我尝试发送大小为700mb的文件时，它显示了"OutOfMemoryjavaheapspace"错误。我正在使用Netbeans7.1.2版本。我还在属性中尝试了VMoption。但仍然发生同样的错误。我认为阅读整个文件存在一些问题。下面的代码最多可用于300mb。请给我一些建议。提前致谢publicc…
    2025-04-161

  • Log4j 记录到共享日志文件

    Log4jLoggingtoaSharedLogFile有没有办法将log4j日志记录事件写入也被其他应用程序写入的日志文件。其他应用程序可以是非Java应用程序。有什么缺点？锁定问题？格式化？Log4j有一个SocketAppender，它将向服务发送事件，您可以自己实现或使用与Log4j捆绑的简单实现。它还支持syslogd和Windows事件日志，这对于尝试将日志输出与来自非Java应用程序…
    2025-04-161
手机版技术脚本