alloy - Alloy で独自の API を使用する

Question

独自の API を合金で使用するにはどうすればよいでしょうか?

Alloy で API を開発しましたが、どのように使用すればよいかわかりません。

よろしく

ムーディー

Answer 1

「独自の API」を使用するとはどういう意味ですか?

Java API から呼び出したいモジュールと述語を Alloy で開発したとします。その場合、API を直接使用してそれを行うことはできないと思います。Java で Alloy 式をプレーンな文字列として記述し、それらを解析し (たとえば、 を使用CompUtil.parseOneExpression_fromString)、評価します (たとえば、A4Solution.evalA4Solution のインスタンスを既に取得している場合)。