J JML neden Java'da Ek Açıklamalar olarak uygulanmadı?

Question

C# 'daki Kod Sözleşmelerinin aksine, JML Kodu Sözleşmelerinde yalnızca bir yöntemin başlığında bulunan yorumların kullanıldığı metin yer alır. Daha sonra Ek Açıklamalar olarak gösterilmeleri daha iyi olmaz mı? Bu şekilde bilgi derlenirken bile .class'ın meta verileri üzerinde, yorumlar aksine, silinir.

Bir şey mi eksik?

Answer 1

JML'den görebildiğim kadarıyla, Java ek açıklamalarını birkaç yıl öncesine dayanır. Tabii ki, muhtemelen ek açıklamaları kullanmak için güncelleyebilirler.

Answer 2

Java ek açıklamaları kullanarak JML deneysel uygulama vardır: http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6

Umarım bu yıl (2010) OpenJML bazı formda çıkacak.