モデルで Alloy を呼び出し、返されたインスタンスで何かを行う必要があるプログラムを作成しています。問題は、Alloy コマンドが呼び出されるたびに Alloy インターフェイスが開かれることです。インターフェイスを開かずにJavaコードからAlloyを呼び出すことができる方法があるかどうか疑問に思っています。
質問する
106 次
1 に答える
0
Alloy GUI を呼び出さない Alloy API の使用例をいくつか見てみましょう: http://alloy.mit.edu/alloy/alloy-api-examples.html
于 2016-04-17T18:28:23.140 に答える