拥有 XText 的 DSL。无限括号（“（”，“）”）的问题

Question

我正在 XText 中开发自己的 DSL。

我想做这样的事情：

1 AND (2 OR (3 OR 4))

这里是我当前的 .xtext 文件：

grammar org.xtext.example.mydsl.MyDsl with org.eclipse.xtext.common.Terminals

generate myDsl "http://www.xtext.org/example/mydsl/MyDsl"

Model:
    (greetings+=CONDITION_LEVEL)
;

terminal NUMBER :
    ('1'..'9') ('0'..'9')*
;

AND:
    ' AND '
;

OR:
    ' OR '
;

OPERATOR : 
    AND | OR
;

CONDITION_LEVEL:
    ('('* NUMBER (=>')')* OPERATOR)+ NUMBER ')'*
;

我遇到的问题是 dsl 应该有可能制作无限的括号，但当程序员不关闭所有打开的括号时显示错误。

示例：

1 AND (2 OR (3 OR 4)

缺少一个括号 -->应该会出错。

我不知道如何在 XText 中实现这一点。有人可以帮忙吗？

谢谢你的帮助。

Answer 1

试试这个：

CONDITION_LEVEL
  :  ATOM ((AND | OR) ATOM)*
  ;

ATOM 
  :  NUMBER 
  |  '(' CONDITION_LEVEL ')'
  ;

请注意，我没有使用 XText 的经验（所以我没有测试这个），但这确实适用于 ANTLR，XText 是在 ANTLR 上构建的（或者也许它只使用 ANTLR...）。

另外，您可能不想用空格包围运算符令牌，而是将它们放在隐藏解析器通道上：

grammar org.xtext.example.mydsl.MyDsl hidden(SPACE)

...

terminal SPACE : (' '|'\t'|'\r'|'\n')+;

...

否则这样的源将失败：

1 AND(2 OR 3)

有关详细信息，请参阅 隐藏终端符号。

Answer 2

您需要使语法递归。基本思想是，CONDITION_LEVEL 可以是由 OPERATOR 分隔的两个 CONDITION_LEVEL。

我不知道 xtext 语法的细节，但使用类似 BCNF 的语法你可以有：

CONDITION_LEVEL:
    NUMBER
    '(' CONDITION_LEVEL OPERATOR CONDITION_LEVEL ')'