0

我正在尝试使用 Instaparse 建立语法。我经常发现这段代码在第一个断言失败，发出“空列表”：

(defn parse-it []
  (let [parser (insta/parser ebnf)
        res (insta/parses parser input)
        _ (assert (seq res) (str "Empty list"))
        choices (count res)
        _ (assert (= choices 1))]
    (first res)))

我总是解决问题，但这需要反复试验。有什么方法可以查明错误吗？

解决问题的一个示例是从input上述代码中的文件中删除尾随空格。

编辑

根据 Stefan 的回答，我更改了代码：

(defn parse-it []
  (let [my-parser (insta/parser ebnf)
        xs (insta/parses my-parser input)
        num-choices (count xs)
        msg (cond
              (zero? num-choices) "insta/parses might be able to be corrected"
              (> num-choices 1) (str "insta/parses shows more than one way to parse: " num-choices)
              (= 1 num-choices) "insta/parses shows one choice, so all good")
        res (cond
              ;; Just fix there being more than one rather than show them all
              ;(> num-choices 1) xs
              (= num-choices 1) (first xs)
              (zero? num-choices) (insta/parse my-parser input))
        _ (assert res (str "No result. Num of choices is: " num-choices))]
    [msg res]))

上面的代码可以解决问题：总是得到一个准确的答案。对我来说，insta/parses返回一个空列表后，insta/parse需要调用以获取错误信息并不是那么明显。使用解析错误文档将产生比上面更好的代码。它显示了错误信息实际上是如何存在于元数据中的，以及如何检索它 - 这个问题的答案已经在文档中！

4

1 回答 1

1

当您parser在输入上使用它自己而不是通过insta/parses时，它会在 REPL 上打印一条非常准确的错误消息。

一个例子：

(def ebnf
  "expr = A DOT
   A    = 'A'
   DOT  = '.'")

user> ((insta/parser ebnf) "A.")
[:expr [:A "A"] [:DOT "."]]
user> ((insta/parser ebnf) "B.")
Parse error at line 1, column 1:
B.
^
Expected:
"A"
于 2016-08-24T11:42:19.953 回答