Parboiled2:引用源文本中的位置

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

半煮2(目前) doesn't support parser recovery strategies。这意味着如果解析器失败，它将停止。据我所知，它应该在失败的地方打印符号，或者至少可以得到cursor

因此，如果您正在尝试构建自己的DSL，并且需要这种功能，我建议您使用不同的工具，如ANTLR。Parboiled1支持解析器恢复技术，但就目前而言，它已经死于支持第二个版本。Parboiled 2在解析日志文件或配置文件(这在默认情况下应该是正确的)方面很好，但不适合构建DSL。