使用Alloy API，可以从合金文件中获取一个CompModule，其中包含您需要的所有东西，以便使用给定的合金模块。
使用以下命令可以轻松实现：CompUtil.parseEverything_fromFile（...）
我现在的问题如下。有没有办法从CompModule转换为合金语言？ 或者从sigs列表和事实到合金模型。 （我想我可以做到暴力，但我想知道是否有实用工具。）
感谢您的支持！
干杯
答案 0 :(得分：2)
我认为不存在某种类型的访问者（或其他东西）需要CompModule并生成文本的Alloy文件。实现这样的打印机应该非常简单，但也很耗时。