Установка АНИС¶

Программное обеспечение¶

Для работы с АНИС необходимо следующее ПО:

VSCode https://code.visualstudio.com/

Python версии не ниже 3.9 https://www.python.org/

eventb-vscode-extension

python package anis

Процедура установки¶

Открыть VSCode.
Установить расширение eventb-vscode-extension (перейти на Extensions tab, нажать Views and More Actions..., выбрать пункт Install from VSIX... и указать файл с расширением)

Правила активации расширения¶

Расширение активируется при первом использовании любого из следующих языков (открытие редактора, запуск команды):

Event-B Machine (файлы с расширением .bm);
Event-B Context (файлы с расширением .bc);
Python (файлы с расширением .py).

Виды рабочих проектов¶

VSCode поддерживает работу в двух режимах:

файлы находятся в одной директории, эта директория открыта в VSCode («single-folder workspace»);
файлы находятся в разных директориях, все директории открыты в VSCode («multi-root workspace»).

Формальная модель и медиатор находятся в одной директории. Если монитор также разрабатывается в VSCode, то может быть удобно добавить его директорию тоже в VSCode (получится multi-root workspace).