c# - 将 EBNF 翻译成 Irony

Question

我正在使用 Irony 为脚本语言创建解析器，但我遇到了一个小问题:如何在 Irony 中翻译这样的 EBNF 表达式？

'(' [ Ident { ',' Ident } ] ')'

我已经尝试过一些技巧，比如

Chunk.Rule = (Ident | Ident + "," + Chunk);
CallArgs.Rule = '(' + Chunk + ')' | '(' + ')';

但它很难看，我什至不确定它是否按预期方式工作(还没有尝试过......)。有人有什么建议吗？

编辑:我发现了这些辅助方法(MakeStarList、MakePlusList)，但无法找到如何使用它们，因为 Irony 完全缺乏文档……有人知道吗？

Answer 1

// Declare the non-terminals
var Ident = new NonTerminal("Ident");
var IdentList = new NonTerminal("Term");

// Rules
IdentList.Rule = ToTerm("(") + MakePlusRule(IdentList, ",", Ident) + ")";
Ident.Rule = // specify whatever Ident is (I assume you mean an identifier of some kind).

您可以使用 MakePlusRule 辅助方法来定义某个终端的一次或多次出现。 MakePlusRule 基本上只是将您的终端作为标准递归列表惯用语呈现:

Ident |  IdentList + "," + Ident

它还将终端标记为表示一个列表，这将告诉解析器将列表树展开为一个方便的子节点列表。