JML이 Java의 주석으로 구현되지 않는 이유는 무엇입니까?

Question

C#의 코드 계약과는 달리 JML 코드 계약은 메소드의 헤더에 주석 형식으로 사용되는 텍스트입니다. 어노테이션으로 노출시키는 것이 낫지 않겠습니까? 그렇게해도 정보를 컴파일 할 때 .class의 메타 데이터에서 계속 유지되며 주석과는 달리 지워집니다.

내가 누락 된 항목이 있습니까?

Answer 1

JML이 자바 주석보다 몇 년 앞선 것으로 보았습니다. 그들은 물론 주석을 사용하도록 업데이트 할 수 있습니다.

Answer 2

자바 주석을 사용하여 JML의 실험적 구현 있습니다 : http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6

는 희망이 올해 (2010 년) OpenJML 몇 가지 형태로 출시 될 예정이.