Как мы можем вызвать Alloy из Java, не открывая интерфейс?
Я пишу программу, которая должна вызывать Alloy для модели и что-то делать в возвращаемом экземпляре. Проблема в том, что интерфейс Alloy открыт при каждом вызове команды Alloy. Мне интересно, можно ли в любом случае вызвать Alloy из кода Java без открытия интерфейса.
1 ответ
Посмотрите на некоторые примеры использования Alloy API, которые не вызывают Alloy GUI: http://alloy.mit.edu/alloy/alloy-api-examples.html