Scala的ANTLR语法？

Question

我正在尝试为演示项目构建静态分析工具。 我们可以自由选择要分析的语言。 我从使用ANTLR编写Java代码分析器开始。 我现在想对Scala代码做同样的事情。 但是，我找不到Scala的ANTLR语法。 它存在吗？ Scala语法还有其他机器可读的形式吗？

Answer 1

我不相信有这样的事情。

问题在于，对于任何语言， 尤其是像Scala这样的库语言，词法分析和句法分析是静态分析中最不有趣和最微不足道的部分。 为了做任何事情，甚至远程有趣，你需要执行语义分析的显著量：脱糖，类型推断，类型检查，善良检查，宏扩展，重载决议，含蓄的分辨率，名称绑定。 简而言之：您需要重新实现或多或少的整个Scala编译器，以实际代码生成部分为模。 请记住，Scala的宏系统和Scala的类型系统都是图灵完备的（实际上，Scala的宏系统是 Scala！）：可能会有大量的编译时和类型级计算， 如果不实际执行宏扩展就无法分析，类型推断和类型检查。

这是一个艰巨的任务，并有其实只有两个项目已经成功做到了：一个是Scala编译器本身，另一种是IntelliJ IDEA的斯卡拉插件。

我们甚至不谈论编译器插件，它们能够以几乎任意的方式改变Scala的语法和语义。

但是，有希望：Scala编译器本身提供了一个名为Presentation Compiler的API，它专门设计用于IDE，代码高亮显示器和各种静态分析工具。 它使您可以在编译期间，优化和代码生成阶段之前访问编译器所具有的全部信息。 它由ScalaDoc，Scala REPL，Scala Eclipse插件，NetBeans Scala插件，SimplyScala.Com，Emacs的ENSIME插件，一些静态分析工具以及许多其他工具使用。

Answer 2

您可以在https://github.com/lrlucena/grammars-v4/tree/master/scala找到ANTLR的Scala语法。 它基于Scala语言规范http://www.scala-lang.org/files/archive/spec/2.11/13-syntax-summary.html 。

Answer 3

Scala语言参考的附录A对您有用吗？ 它是EBNF格式。

Answer 4

Scalastyle使用scalariform对其进行解析。 有了这个，你得到一个案例类的AST。 但是，您只获取文件中的信息，因此，例如，您不会获得推断类型。

如果您不需要所有额外信息，请查看Scalariform。 Scalastyle代码相当容易理解，从Checker.scala开始。