Итак, я пытаюсь сделать несколько программ по контракту на Java и использовать для этого iContract. Теперь я полностью разбираюсь в самом базовом синтаксисе, но не могу запустить iContract (если это имеет смысл).
Я знаю, что iContract должен быть препроцессором для исходного кода Java, который добавил бы некоторый дополнительный код во входной исходный код, основанный на @pre, @post и т. Д. Но то, что я мог найти в Интернете, был только iContract.jar ,
Запуск jar дает ошибку, так как в jar не определен основной класс, так что я думаю, что он не предназначен для такого использования?
Создание нового проекта java, добавление jar в classpath также, похоже, не работает. Я не думаю, что эти аннотации (@pre, @post и т. Д.) Присутствуют в банке как классы.
Может ли кто-нибудь, кто использовал iContract, любезно перечислить шаги по его использованию / указать какие-либо ресурсы, которые понадобятся?
Спасибо !!
Кстати, я скачал iContract.jar с здесь .