原谅cross-post；我还想在这里问一下，以防邮件列表不合适。
对于一个课程项目，我正在努力进行实证研究 研究我需要解析一系列合金文件的位置，然后做一些 更改每个模块，并将每个模块保存在一个新文件中。
ExampleUsingTheCompiler.java在展示如何 解析Alloy文件（使用CompUtil.parseEverything_fromFile），但是 我找不到有关如何序列化/打印精美的任何信息 将Module / CompModule放回一个我可以写的字符串 到文件。
预先感谢您的帮助。