匹配符号特定次数

如何解决匹配符号特定次数

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

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

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

..0..
11.11
44.44
1.11.1
33333
55555

解决方法

不，这个元语法在 Rascal 中不存在。我们没有添加它。

你可以写一个这样的高估，并让一个解析后过滤器拒绝超过 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 的类型系统意味着什么；对于解析器生成器，添加一个简单的规则。