Parboiled2：引用AST源文本中的位置

Question

我正在编写DSL，同时学习parboiled2。构建我的AST之后，我想运行一些语义检查，如果有任何错误，则输出引用源文本中有问题的位置的错误消息。

我正在写下面的内容，到目前为止，它们确实有效：

case class CtxElem[A](start:Int, end:Int, elem:A)

def Identifier = rule {
  push(cursor) ~
  capture(Alpha ~ zeroOrMore(AlphaNum)) ~
  push(cursor) ~
  WhiteSpace
  ~> ((start, identifier, finish) => CtxElem(start, finish, identifier))
}

有更好或更简单的方法吗？

Answer 1

Parboiled 2（现在）doesn't support parser recovery strategies。这意味着如果解析器失败 - 它将停止。据我记得它应该打印失败的符号，或者至少你可以得到cursor

因此，如果您正在尝试构建自己的DSL并且需要这种功能，我建议您使用不同的工具，如ANTLR。 Parboiled1支持解析器恢复技术，但是现在，如果支持第二个版本，它已经埋没了。 Parboiled 2可以很好地解析日志文件或配置文件（默认情况下应该更正），但它不适合构建DSL。