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

Question

合金开发人员使用任何解析器生成器工具（如ANTLR）来解析合金规范，还是内置解析器并专门为合金语言编写？

如果他们使用外部工具进行Alloy解析器实现，如何访问有关此内容的更多信息（例如，输入外部解析器生成器的语法）。

Answer 1

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

Answer 2

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

B.3节有语法。

对语言实现一无所知。