匹配符号具体次数

Question

定义语法时，可以匹配 1 次或多次 (+) 或 0 次或多次 (*)，类似于在正则表达式中的处理方式。但是，我没有在 rascal 文档中找到是否也可以匹配一个 Symbol 特定次数。在正则表达式（和 Rascal 模式）中，这是用两个大括号之间的整数完成的，但这似乎不适用于语法定义。理想情况下，我想要这样的东西：

lexical Line = [0-9.]+;
syntax Sym = sym: {Line Newline}{5};

它只会尝试匹配以下文本的前 5 行：

..0..
11.11
44.44
1.11.1
33333
55555

Answer 1

否 Rascal 中不存在此元语法。我们没有添加它。

您可以像这样写一个高估，并让 post-parse 过滤器拒绝超过 5 个项目：

syntax Sym = fiveLines: (Line NewLine)+ lines

visit (myParseTree) {
   case (Sym) `<(Line NewLine)+ lines>` : 
      throw ParseError(x.src) when length(lines) != 5;
}

或者像这样展开循环：

syntax Sym 
    =  Line NewLine
       Line NewLine
       Line NewLine 
       Line NewLine
       Line NewLine
    ;

如果您非常需要，使用整数参数重复听起来像是一个很好的功能请求，我们可以考虑考虑。我们只需要考虑它对 Rascal 的类型系统意味着什么；对于解析器生成器，添加一个简单的规则。

匹配符号具体次数

Match Symbol specific number of times

rascal