Установка JML в Eclipse

Я использую Eclipse для программирования на Java. Я попробовал установить с this site, хотя Eclipse's Updater, но, хотя он не вызывал никаких ошибок, я не вижу меню, которое, как они говорят, мне нужно.Установка JML в Eclipse

Возможно, мне нужно сначала что-то установить? Может быть, есть и другие более простые варианты JML? Что вы, ребята, используете?

источник

2010-03-11 devoured elysium

Вы использовали http://www.pm.inf.ethz.ch/research/universes/tools/eclipse/ как сайт для обновления, не так ли? – VonC

Да, это один .. –

Проблема была в том, что у меня не было установлен JDK (только автономный пакет Eclipse). Установка JDK и переустановка JML в Eclipse сделали трюк.

источник

2010-04-12 13:15:30

Вы должны открыть окно журнала ошибок и посмотреть, содержит ли он какие-либо соответствующие ошибки.

источник

2010-03-11 18:09:31 ChrisH

У меня есть несколько ошибок, но я не думаю, что они связаны с этим обновлением: http://img192.imageshack.us/img192/4466/jjox05sz1hflopjoeiawalv.png –

ответ

Смежные вопросы