Правильный способ установки JML

Question

Я попытался установить язык моделирования Java (JML), но что-то пошло не так. Я использую Eclipse IDE, windows 10. Я открыл Eclipse -> Help -> Install New Software, а затем установил с помощью этого

Затем я перезапустил Eclipse, и в верхней строке меню появились новые значки. Когда я пытаюсь скомпилировать или использовать значки JML, Eclipse выдает огромное сообщение об ошибке. (img)

Что я могу сделать, чтобы это исправить? Я не нашел решения на сайте

Answer 1

Я не могу использовать функцию комментариев.

Вот мои замечания:

1. Во-первых, кажется, что OpenJML установлен правильно.
2. Если трассировка стека принадлежит запуску OpenJML, это явно относится к системе отслеживания проблем. Соответствующая линия обрабатывает импорт несколько пакетов. Может быть, вы могли бы попробовать с примером из репозитория OpenJML, чтобы убедиться, что проблема возникает только с вашим файлом Java. Вы также можете попробовать openjml в командной строке. Он ведет себя как javac с дополнительными параметрами.
3. Небольшая деталь: что-то кажется странным с версией OpenJML. Текущая версия - 0.8.49 (после релизов на github) от 25 сентября 2020 г. Ваша версия 0.8.48, но с той же даты.