0

只是想知道如何在合金中使用我自己的 API？

我已经开发了合金 API，但我不知道如何使用它？

问候

穆迪

4

1 回答 1

1

使用“您自己的 API”是什么意思？

我假设您已经在 Alloy 中开发了一些希望从 Java API 调用的模块和谓词。在那种情况下，我认为你不能直接使用 API 来做到这一点。最好的办法是在Java 中将Alloy 表达式编写为纯字符串，然后解析它们（例如，使用CompUtil.parseOneExpression_fromString），然后评估它们（例如，使用A4Solution.eval，前提是您已经获得了A4Solution 的实例）。

于 2012-06-29T08:17:10.100 回答