scala - 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（目前）不支持解析器恢复策略。这意味着如果解析器失败 - 它将停止。据我记得它应该打印失败的符号，或者至少你可以得到光标

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