لماذا لم يتم تنفيذ JML كتعليقات توضيحية في Java؟

https://stackoverflow.com/questions/2473331

20-09-2019
|

سؤال

على عكس عقود التعليمات البرمجية في C#، في عقود رمز JML هي مجرد نص يستخدم في شكل تعليقات في رأس الطريقة. ألن يكون من الأفضل تعريضهم كشروط توضيحية ، إذن؟ وبهذه الطريقة حتى عند تجميع المعلومات سوف تستمر في بيانات تعريف .class ، على عكس التعليقات ، التي تم محوها.

هل فاتني شيء؟

المحلول

من ما أستطيع أن أرى JML يسبق التعليقات التوضيحية Java على بعد عدد كبير من السنوات. يمكنهم ، بالطبع ، تحديثه للاستفادة من التعليقات التوضيحية.

نصائح أخرى

هناك تنفيذ تجريبي لـ JML باستخدام تعليقات Java:
http://sourceforge.net/apps/trac/jmlspecs/wiki/jml6
نأمل أن يتم إصداره بشكل ما في OpenJML هذا العام (2010).

مرخصة بموجب: CC-BY-SA مع الإسناد

لا تنتمي إلى StackOverflow