在Alloy中使用我自己的API

Question

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

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

问候

穆迪

Answer 1

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

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