alloy - 从 CompModule 到合金

Question

使用 Alloy API，可以从合金文件中获取 CompModule，其中包含您需要的所有内容，以便使用给定的合金模块。

这很容易使用： CompUtil.parseEverything_fromFile(...)

我现在的问题如下。有没有办法从 CompModule 到合金语言？或者从符号列表和事实到合金模型。（我想我可以蛮力进行，但我想知道是否存在实用程序。）

谢谢你的支持 ！

干杯

Answer 1

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