Java APIを使用して合金モジュールをインポート

私は、Java APIを使用して合金を使用して原子の合計順序を計算しようとしています。Java APIを使用して合金モジュールをインポート

私は、util/ordering[SomeSignature]をAlloyのJava APIを使用してインクルードする方法があるのでしょうか？

edu.mit.csail.sdg.alloy4compiler.parser.CompModuleにはaddOpenというメソッドがありますが、使用方法はわかりません。

ありがとうございました。

2016-05-30 paolo_

あなたが参照しているaddOpenメソッドがAPI documentationに見つかりませんので、使用しないことをお勧めします。

「util/ordering [SomeSignature]」を解析する前にモジュールに追加することを妨げているのは何ですか？

2016-05-31 11:24:12

私は（[this]（http://alloy.mit.edu/alloy/code/ExampleUsingTheAPI.java.html）の例のように）Java APIを一意に使用しようとしていましたが、 "open util/ordering [S]"命令です。まあ、あまりにも悪いです。 –

答えて