将实例查看为 XML？

View an instance as XML?

Alloy 分析器生成的实例可以文本形式查看——只需单击工具顶部菜单栏上的 Txt 图标即可。文本是一个长的、未格式化的字符串。是否可以将文本格式设置为 XML？也许有人编写了一个 XSLT 程序来将原始文本转换为 XML?

任何获得的实例都可以导出到XML。

File > Export To > XML ... in the instance viewer.