Анимация Atelier B с ошибкой ProB при синтаксическом анализе машины: end_of_file

У меня проблемы с анимацией машин с помощью prob. Когда я выбираю анимацию с помощью ProB(TCL/TK) в Atelier B, я получаю эту ошибку

Make sure Java Runtime 7 or newer is installed
 the Java B parser (probcliparser.jar) cannot be launched:  c:/prob//lib/probcliparser.jar

 Error while parsing machine:  end_of_file

Моя установка Java работает нормально, и это версия Java «1.8.0_65».

Кто-нибудь может помочь? Спасибо.


tcl tk
person nekoMiaChan    schedule 18.01.2016    source источник
comment
Вы просматривали такие веб-сайты, как Установка — документация ProB? Похоже, ваш файл jar неполный. Я пометил вопрос с помощью Tcl/Tk, поскольку он более подходит, чем тег b, который применяется к языку B. , предшественник С.   -  person Jonathan Leffler    schedule 29.02.2016
comment
Проблема была с правами доступа. Я установил свой ProB на диск C. Запуск от имени администратора решил проблему,   -  person nekoMiaChan    schedule 29.02.2016

Ответы (1)


arrow_upward
0
arrow_downward

Проблема была с правами доступа. Я установил свой ProB на диск C. Запуск от имени администратора решил проблему. Просто оставьте это здесь, если у кого-то еще возникнет такая же проблема.

person nekoMiaChan    schedule 29.02.2016