解析 – Scala的ANTLR语法?

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

解决方法

我不相信有这样的事情.

事实是,对于任何语言,特别是对于Scala这样的图书馆语言,词法分析和句法分析是静态分析中最不重要和最琐碎的部分.为了做任何甚至远程有趣的事情,您需要执行大量的语义分析:desugaring,类型推断,类型检查,种类检查,宏扩展,重载分辨率,隐式解析,名称绑定.简而言之:您需要重新实现整个Scala编译器,模数实际代码生成部分.记住,Scala的宏系统和Scala的类型系统都是图灵完整的(实际上,Scala的宏系统是Scala!):可能会有重要的编译时和类型级的计算,这是不可能分析而不实际执行宏扩展,键入推断和类型检查.

这是一项巨大的任务,实际上只有两个项目已经成功完成:一个是Scala编译器本身,另一个是IntelliJ IDEA Scala插件.

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

但是有希望:Scala编译器本身提供了一个称为Presentation Compiler的API,它专为IDE,代码荧光笔和各种静态分析工具而设计.它可以让您访问编译器在编译期间,在优化和代码生成阶段之前的整个信息.它由ScalaDoc,Scala REPL,Scala Eclipse插件,NetBeans Scala插件,SimplyScala.Com,用于Emacs的ENSIME插件,一些静态分析工具等等使用.

相关文章

共收录Twitter的14款开源软件,第1页Twitter的Emoji表情 Tw...
Java和Scala中关于==的区别Java:==比较两个变量本身的值,即...
本篇内容主要讲解“Scala怎么使用”,感兴趣的朋友不妨来看看...
这篇文章主要介绍“Scala是一种什么语言”,在日常操作中,相...
这篇文章主要介绍“Scala Trait怎么使用”,在日常操作中,相...
这篇文章主要介绍“Scala类型检查与模式匹配怎么使用”,在日...