Eclipse에 JML 설치

Eclipse를 사용하여 Java로 프로그래밍하고 있습니다. 나는 this site에서 Eclipse의 Updater를 설치하려고 시도했으나 어떤 오류도 발생시키지 않았지만 필자는 그들이 말하는 메뉴를 보지 못했다.Eclipse에 JML 설치

아마도 뭔가 먼저 설치해야합니까? 어쩌면 다른 간단한 JML 옵션이 있을까요? 너희들 뭐라구?

http://www.pm.inf.ethz.ch/research/universes/tools/eclipse/를 업데이트 사이트로 사용 했습니까? – VonC

예, 그 중 하나 .. –

문제점은 JDK가 설치되지 않았다는 것입니다 (Eclipse의 독립 실행 형 패키지). 이클립스에 JDK를 설치하고 JML을 재설치하는 것이 트릭을 만들었다.

2010-04-12 13:15:30

오류 로그보기를 열고 관련 오류가 있는지 확인해야합니다.

2010-03-11 18:09:31 ChrisH

몇 가지 오류가 있지만이 업데이트와 관련이 있다고 생각하지 않습니다. http://img192.imageshack.us/img192/4466/jjox05sz1hflopjoeiawalv.png –

답변