3

Alloy API を使用すると、その特定の Alloy モジュールを操作するために必要なすべてのものを含む CompModule を Alloy ファイルから取得できます。

これは、 CompUtil.parseEverything_fromFile(...) を使用して簡単に実現できます。

私の質問は次のとおりです。CompModule から合金言語に移行する方法はありますか? または、署名のリストと事実から合金モデルに移動します。（力ずくでできると思いますが、ユーティリティが存在するかどうかを知りたいです。）

ご協力ありがとうございました ！

乾杯

4

1 に答える 1

2

CompModuleを受け取ってテキストの Alloy ファイルを生成するビジター (または何か) がまだ存在しているとは思いません。このようなプリンターの実装は非常に簡単ですが、時間がかかります。

于 2013-04-16T21:00:51.283 に答える