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