标签： alloy
Alloy Analyzer生成的实例可以视为文本 - 只需单击工具顶部菜单栏上的Txt图标即可。该文本是一个长的，未格式化的字符串。是否可以将文本格式化为XML？也许有人编写了一个XSLT程序来将原始文本转换为XML？
答案 0 :(得分：2)
任何获得的实例都可以导出为XML。
File > Export To > XML ... in the instance viewer.