在ScalaCheck中从语法生成字符串

Question

在Scala中,我使用Parser Combinators库实现了语法.现在,我想要做的是从解析器组合器库中生成给定语法的随机字符串.

在我看来,ScalaCheck库在某种程度上与Parser Combinators相反,因为它结合了生成器而不是解析器.

是否已经有一种使用Parser Combinators或ScalaCheck生成字符串的方法,或者是否有直接的方法将Parser Combinator转换为生成器？

Answer 1

没有直接的方法将语法转换为生成器。您必须手动编写它们。这不会那么难，因为你已经掌握了语法。您可以轻松地测试您的解析器，但测试您的类型检查器可能会遇到很大问题（但仍然有可能）。在开始之前，请确保您的 AST 节点可以相互比较。

• Scalacheck 允许您生成递归属性，因此您可以轻松生成 AST 节点。
• 生成 AST 节点后，您可以使用 Scalacheck 和一些有关空格及其节点之间一致性的附加知识，并将其转换为字符串。
• 然后，您可以将生成的字符串提供给解析器，您将测试代码并将它们与预先生成的 AST 进行比较