以合金分析仪为例

Question

我要转移合金分析仪的实例。换句话说，

如何将txt格式输出为文件？

因为我想开发一个调用该文件的软件。

Answer 1

可以使用Alloy分析器GUI和Alloy API将实例另存为XML文件。

如果您希望使自己的Alloy实例的XML表示更具可读性，则可以指定一个转换（例如在xslt中），以按照您认为合适的方式格式化数据。

玩得开心：+）