首页 文章

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

提问于
浏览
0

Alloy合金开发人员使用任何解析器生成器工具(如ANTLR)来解析合金规范,还是内置解析器并专门为合金语言编写?

如果他们使用外部工具进行Alloy解析器实现,我如何访问有关此内容的更多信息(例如,输入外部解析器生成器的语法) .

2 回答

  • 0

    Alloy使用CUP的改进版本(随合金分销一起提供) . 您可以在 edu.mit.csail.sdg.alloy4compiler.parser 包中找到语法规范文件( Alloy.lexAlloy.cup ) . 在同一个包中有一些bash脚本用于生成相应的词法分析器/解析器类 .

  • 3

相关问题