是否有用於構建合金語言解析器的外部解析器生成器工具

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節有語法。

對語言實現不能說什麼。