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

문제

C#의 코드 계약과 달리 JML 코드 계약은 메소드 헤더의 주석 형태로 사용되는 텍스트입니다. 그렇다면 주석으로 노출되는 것이 더 낫지 않습니까? 이렇게하면 정보를 컴파일 할 때에도 주석과는 달리 .class의 메타 데이터에 지속됩니다.

내가 뭔가를 놓치고 있습니까?

해결책

내가 볼 수있는 바에 따르면 JML은 Java 주석이 몇 년 전까지 초행됩니다. 물론 그들은 아마도 주석을 활용하기 위해 그것을 업데이트 할 수 있습니다.

다른 팁

Java 주석을 사용하여 JML의 실험적 구현이 있습니다.
http://sourceforge.net/apps/trac/jmlspecs/wiki/jml6
바라건대 그것은 어떤 형태로 출시되기를 바랍니다 OpenJml 올해 (2010).

라이센스 : CC-BY-SA ~와 함께 속성

제휴하지 않습니다 StackOverflow