Rodin core platform development¶

Информация частично взята из старой wiki страницы (не обновлялась с 2015): Developer FAQ - Event-B

Настройка Eclipse для работы над исходным кодом Rodin 3.6:

1. Установить OpenJDK 11
2. Скачать Eclipse 2020-12 for Eclipse Committers
3. Запустить, нажать Help > Install New Software…, выбрать Eclipse Project Updates site и установить два плагина: API Tools Execution Environment Descriptions и Eclipse SDK
4. Выставить в настройках Plug-in Development/API Baselines опцию Missing API Baseline в значение ignore

Скачать исходный код Rodin core:

1. Нажать File > Import…
2. Выбрать Git > Projects from Git и нажать Next
3. Выбрать Clone URI и нажать Next
4. В поле URI вставить git://git.code.sf.net/p/rodin-b-sharp/rodincore и нажать Next
5. Выбрать ветки (для начала достаточно master) и нажать Next
6. В поле Directory выбрать путь, в который будет склонирован репозиторий, и нажать Next
7. Выбрать Import existing Eclipse projects и нажать Next
8. Из списка проектов убрать те, в путях которых имеется директория _exploratory - это проекты, имеющие историческую ценность, но в данный момент не используются и вызывают ошибки сборки
9. Finish

Сборка:

1. Выполнить Clean build, увидеть несколько ошибок компиляции
2. При первой сборке сгенерируются некоторые исходные файлы. Для их включения в проект в Package explorer необходимо выделить все пакеты, нажать по ним правой кнопкой и выбрать Refresh
3. Повторить Clean build - ошибок компиляции теперь быть не должно
4. Выставить в настройках Target platform - в списке будет целевая платформа, заданная в org.eventb.parent/eclipse.target

Запуск:

1. Запустить Rodin.product в пакете org.rodinp.platform как Eclipse application. Сборка упадет, так как в конфигурации включены не все требуемые плагины
2. Открыть Run -> Run configurations
3. Выбрать только что сгенерированную конфигурацию запуска (Rodin.product)
4. Перейти на вкладку Plug-ins
5. Выбрать launch with: all workspace and enabled target plug-ins in the run configuration
6. Далее для запуска использовать Run -> Run
7. При запуске может возникнуть исключение (которое в целом не мешается, но может быть надоедливым - возможное решение)

Возможно, также полезным будет следующий абзац из документации:

To activate the Execution environment for Java 6 on org.eventb.core.ast, go to Window > Preferences…, type exec in the search box in the upper-left corner and select Java > Installed JREs > Execution Environments and select a compatible JRE for the entry JavaSE-1.6.