在ScalaCheck中从语法生成字符串

时间:2015-08-17 12:52:06

标签: scala code-generation parser-generator quickcheck scalacheck

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

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

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

1 个答案:

答案 0 :(得分:1)

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

  • Scalacheck允许您生成递归属性,因此您可以 轻松生成AST节点。
  • 当您生成AST节点时,您可以使用Scalacheck和 关于白色空间和他们的抱怨的一些额外的知识 在节点之间,翻译成字符串。
  • 然后您可以将生成的字符串提供给解析器,您将继续 测试代码并将它们与预先生成的AST进行比较