是否有用于构建 Alloy 语言解析器的外部解析器生成器工具
Is there an external parser generator tool used for building Alloy language parser
是否有 Alloy 开发人员使用任何解析器生成器工具（如 ANTLR）来解析 alloy 规范，或者它的解析器是否内置并专门为 alloy 语言用途？
如果他们使用外部工具实现 Alloy 解析器，我如何才能获得更多相关信息（例如输入外部解析器生成器的语法）。
http://alloy.mit.edu/alloy/documentation/book-chapters/alloy-language-reference.pdf
B.3 节有语法。
不能说语言实现。
Alloy 使用 CUP 的修改版本（随 Alloy 发行版一起提供）。您可以在 edu.mit.csail.sdg.alloy4compiler.parser 包中找到语法规范文件（Alloy.lex 和 Alloy.cup）。在同一个包中有一些bash脚本用于生成相应的lexer/parser类。
是否有 Alloy 开发人员使用任何解析器生成器工具（如 ANTLR）来解析 alloy 规范，或者它的解析器是否内置并专门为 alloy 语言用途？
如果他们使用外部工具实现 Alloy 解析器，我如何才能获得更多相关信息（例如输入外部解析器生成器的语法）。
http://alloy.mit.edu/alloy/documentation/book-chapters/alloy-language-reference.pdf
B.3 节有语法。
不能说语言实现。
Alloy 使用 CUP 的修改版本（随 Alloy 发行版一起提供）。您可以在 edu.mit.csail.sdg.alloy4compiler.parser 包中找到语法规范文件（Alloy.lex 和 Alloy.cup）。在同一个包中有一些bash脚本用于生成相应的lexer/parser类。