Използване на моя собствен API в Alloy

Какво имате предвид с използването на „ваш собствен API“?

Предполагам, че сте разработили някои модули и предикати в Alloy, които искате да извикате от Java API. В такъв случай не мисля, че можете да направите това директно с помощта на API. Най-добрият ви залог е да напишете Alloy изрази като обикновени низове в Java, след това да ги анализирате (напр. като използвате CompUtil.parseOneExpression_fromString) и след това да ги оцените (напр. като използвате A4Solution.eval, при условие че вече сте получили екземпляр на A4Solution).