是否有用于构建合金语言解析器的外部解析器生成器工具

Question

Have合金开发人员是否使用任何解析器生成器工具（如ANTLR）来解析合金规格，或者是它的解析器是否内置并专门用于合金语言目的？

如果他们使用外部工具执行Alloy解析器，我怎样才能访问关于这个的更多信息（例如被馈送到外部解析器生成器的语法）。

Answer 1

合金使用CUP的改进版本（随合金分销发货）。您可以在edu.mit.csail.sdg.alloy4compiler.parser包中找到语法规范文件（Alloy.lex和Alloy.cup）。在同一个包中，有一些bash脚本用于生成相应的词法分析器/解析器类。

Answer 2

http://alloy.mit.edu/alloy/documentation/book-chapters/alloy-language-reference.pdf

B.3节有语法。

对语言实现不能说什么。