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

Question

合金开发人员是否使用任何解析器生成器工具(如反)来解析合金规范，或者其解析器是否内置并专门为合金语言目的编写？

如果他们使用外部工具来实现合金解析器，我如何才能访问有关此的进一步信息(例如，输入到外部解析器生成器中的语法)。

Answer 1

合金使用的是修改版的CUP (随合金分布一起运出)。您可以在Alloy.lex包中找到语法规范文件(Alloy.cup和edu.mit.csail.sdg.alloy4compiler.parser )。在同一个包中，有一些bash脚本用于生成相应的lexer/解析器类。

Answer 2

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

B.3节有语法。

不能说任何关于语言实现的事情。