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

Alloy开发人员是否使用了任何解析器生成器工具（如）来解析Alloy规范，或者其解析器是内置的，专门为Alloy语言编写的

如果他们使用外部工具来实现Alloy解析器，我如何访问有关这方面的进一步信息（例如输入外部解析器生成器的语法）。

第B.3节有语法

无法对语言实现进行任何说明。

第B.3节有语法

无法对语言实现进行任何说明。

第B.3节有语法

无法对语言实现进行任何说明。

第B.3节有语法

---

无法说明语言实现。

Alloy使用了CUP的修改版本（随Alloy发行版一起提供）。您可以在

edu.mit.csail.sdg.alloy4compiler.parser

包中找到语法规范文件（

Alloy.lex

和

Alloy.cup

）。在同一个包中，有一些bash脚本用于生成相应的lexer/解析器类

Alloy使用改进版的CUP（随Alloy distribution一起提供）。您可以在

edu.mit.csail.sdg.alloy4compiler.parser

包中找到语法规范文件（

Alloy.lex

和

Alloy.cup

）。在同一个包中，有一些bash脚本用于生成相应的lexer/解析器类

Alloy使用改进版的CUP（随Alloy distribution一起提供）。您可以在

edu.mit.csail.sdg.alloy4compiler.parser

包中找到语法规范文件（

Alloy.lex

和

Alloy.cup

）。在同一个包中，有一些bash脚本用于生成相应的lexer/解析器类

Alloy使用改进版的CUP（随Alloy distribution一起提供）。您可以在

edu.mit.csail.sdg.alloy4compiler.parser

包中找到语法规范文件（

Alloy.lex

和

Alloy.cup

）。在同一个包中，有一些bash脚本用于生成相应的lexer/解析器类