Используя мой собственный API в Alloy

Question

Просто интересно, как я могу использовать свой собственный API в сплаве?

Я разработал API в сплаве, но я не знаю, как его использовать?

С уважением

угрюмый

Answer 1

Что вы имеете в виду, используя "свой собственный API"?

Я предполагаю, что вы разработали некоторые модули и предикаты в Alloy, которые вы хотите вызывать из Java API. В этом случае я не думаю, что вы можете сделать это напрямую с помощью API. Лучше всего написать выражения Alloy в виде простых строк в Java, а затем проанализировать их (например, используя CompUtil.parseOneExpression_fromString), а затем оцените их (например, используя A4Solution.evalпри условии, что вы уже получили экземпляр A4Solution).