Простите за кросс-пост ; Я решил спросить и здесь, на случай, если список рассылки окажется неподходящим.
Для курсового проекта я работаю над выполнением эмпирического
изучите, где мне нужно разобрать серию файлов Alloy, сделайте несколько
внесите изменения в каждый модуль и сохраните каждый в новом файле.
ExampleUsingTheCompiler.java было очень полезно показать, как
разбирать файлы Alloy (используя CompUtil.parseEverything_fromFile), но
Я не мог найти информацию о том, как сериализовать / pretty-print
модуль / CompModule обратно в строку, которую я мог бы тогда написать
в файл.
Заранее спасибо за помощь.