Кнопка «Выполнить» Джейсона должна быть добавлена на панель инструментов затмения («Шаг 14» из jason eclipse-plugin guide ), и она должна работать. В любом случае, вы можете сэкономить время, используя shell, следуя инструкциям на странице github Джейсона :
git clone https://github.com/jason-lang/jason.git
cd jason
gradle config
И запустите проект, используя следующую команду:
jason examples/gold-miners-II/miners.mas2j
Другой способ, и на самом деле моя рекомендация переходит на JaCaMo (в который встроен Джейсон). JaCaMo предлагает gradle скрипт для ваших проектов. Вы можете легко загрузить JaCaMo из репозитория и создать проект с нуля за один раз (сначала перейдите в корневую папку вашего проекта, а затем введите):
curl -s -O http://jacamo.sourceforge.net/nps/np07.gradle
gradle -b np07.gradle --console=plain
После загрузки JaCaMo, скрипт попросит вас ввести имя для вашего проекта, например, «test». Итак, перейдите в папку «test» и наберите:
gradle run
Только что созданный проект JaCaMo должен запуститься после этой команды. Помимо хорошей производительности компиляции, еще одним преимуществом является то, что gradle будет управлять зависимостями пакетов.