जेएमएल जावा में एनोटेशन के रूप में क्यों लागू नहीं किया गया है?

Question

जे # कोड संहिता में सी # में कोड अनुबंधों के विपरीत, केवल एक पाठ है जिसका उपयोग किसी विधि के शीर्षलेख में टिप्पणियों के रूप में किया जाता है। क्या उन्हें एनोटेशन के रूप में उजागर करना बेहतर नहीं होगा? इस तरह से जानकारी को संकलित करते समय भी .class के मेटाडेटा पर जारी रहेगा, टिप्पणियों के विपरीत, जो मिटा दिया जाता है।

क्या मुझे कुछ याद आ रही है?

Answer 1

जो मैं देख सकता हूं उससे जेएमएल एक बड़ी संख्या में जावा एनोटेशन की भविष्यवाणी करता है। वे, निश्चित रूप से, संभवतः एनोटेशन का उपयोग करने के लिए इसे अद्यतन कर सकते हैं।

Answer 2

वहाँ JML की प्रयोगात्मक कार्यान्वयन जावा एनोटेशन का उपयोग है:
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
उम्मीद है कि यह इस साल (2010) OpenJML में किसी न किसी रूप में जारी किया जाएगा।