Alloy合金开发人员使用任何解析器生成器工具(如ANTLR)来解析合金规范,还是内置解析器并专门为合金语言编写?
如果他们使用外部工具进行Alloy解析器实现,我如何访问有关此内容的更多信息(例如,输入外部解析器生成器的语法) .
Alloy使用CUP的改进版本(随合金分销一起提供) . 您可以在 edu.mit.csail.sdg.alloy4compiler.parser 包中找到语法规范文件( Alloy.lex 和 Alloy.cup ) . 在同一个包中有一些bash脚本用于生成相应的词法分析器/解析器类 .
edu.mit.csail.sdg.alloy4compiler.parser
Alloy.lex
Alloy.cup
http://alloy.mit.edu/alloy/documentation/book-chapters/alloy-language-reference.pdf
B.3节有语法 .
对语言实现不能说什么 .
2 回答
Alloy使用CUP的改进版本(随合金分销一起提供) . 您可以在
edu.mit.csail.sdg.alloy4compiler.parser
包中找到语法规范文件(Alloy.lex
和Alloy.cup
) . 在同一个包中有一些bash脚本用于生成相应的词法分析器/解析器类 .http://alloy.mit.edu/alloy/documentation/book-chapters/alloy-language-reference.pdf
B.3节有语法 .
对语言实现不能说什么 .