问从CompModule到合金
EN

Stack Overflow用户

提问于 2013-04-17 03:20:27

回答 1查看 97关注 0票数 3

使用Alloy，可以从合金文件中获得一个CompModule，其中包含使用给定合金模块所需的所有内容。

这可以使用以下命令轻松实现: CompUtil.parseEverything_fromFile(...)

我现在的问题如下。有没有从CompModule到合金语言的方法？或者从一系列的符号和事实到合金模型。(我想我可以使用暴力，但我更想知道是否存在实用程序。)

感谢您的支持！

干杯

回答已采纳

发布于 2013-04-17 05:00:51

我不认为已经有某种访问者(或其他东西)接受CompModule并生成文本合金文件。实现这样的打印机应该非常简单，但也很耗时。

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/16045336

复制

相似问题

问从CompModule到合金EN