Maguyva में Ada: स्पेसिफ़िकेशन, बॉडी और पैकेज ग्राफ़

Ada रिपॉज़िटरी को डिपेंडेंसी मैप की ज़रूरत क्यों है

Ada इस बात को अलग रखती है कि पैकेज क्या वादा करता है (.ads) और उसे कैसे पूरा करता है (.adb)। यह अच्छी इंजीनियरिंग है, और इसका मतलब यह भी है कि एक बदलाव कई फ़ाइलों को छूता है, जिन्हें टेक्स्ट सर्च आपके लिए आपस में नहीं जोड़ेगा। लंबे समय से चल रहे Ada सिस्टम एक और परत जोड़ते हैं: जेनेरिक्स, टैग्ड टाइप, टास्क और प्रोटेक्टेड ऑब्जेक्ट, जिनके संबंध किसी एक फ़ाइल से ज़्यादा मायने रखते हैं।

Maguyva एजेंट को बदलाव सुझाने से पहले यह डिपेंडेंसी मैप देता है, यानी ठीक उसी क्रम में, जिसकी उम्मीद एक हाई-इंटीग्रिटी समीक्षा करती है।

Maguyva, Ada से क्या निकालता है

Maguyva .ads, .adb और .ada को कवर करता है। सबप्रोग्राम बॉडी और प्रोसीजर व फ़ंक्शन स्पेसिफ़िकेशन, दोनों कॉल किए जा सकने वाले सिंबल के रूप में निकाले जाते हैं, ताकि आप किसी रूटीन का स्पेसिफ़िकेशन और बॉडी दोनों खोज सकें। सिंबल मिलान केस-इनसेंसिटिव है, ठीक Ada की तरह।

इम्पोर्ट with और use क्लॉज़ से आते हैं; कीवर्ड हटा दिया जाता है ताकि ग्राफ़ में पैकेज का नाम रहे। ग्राफ़ कॉल, टैग्ड टाइप में इनहेरिटेंस और ओवरराइड, इंस्टैंशिएशन, टाइप रेफ़रेंस, रीड और राइट, और एक्सेप्शन रेज़ और हैंडल करने वाली एज भी दर्ज करता है।

स्ट्रक्चरल सर्च में टास्क टाइप, प्रोटेक्टेड टाइप, रिकॉर्ड टाइप और इंटरफ़ेस टाइप को टाइप परिभाषा के रूप में, और एंट्री बॉडी को मेथड के रूप में चुना जा सकता है।

एजेंट प्रॉम्प्ट के उदाहरण

• “कौन-सी यूनिट Flight_Control.Sensors पर निर्भर हैं, और वे उसके कौन-से सबप्रोग्राम कॉल करती हैं?” (incoming दिशा में dependency_search)
• “Compute_Trajectory का स्पेसिफ़िकेशन, बॉडी और हर कॉलर दिखाओ।” (find_symbol)
• “समझाओ कि टेलीमेट्री टास्क लॉगिंग वाले प्रोटेक्टेड ऑब्जेक्ट को डेटा कैसे सौंपता है।” (get_task_context)

ज्ञात सीमाएँ

• Ada कुछ कॉल, रिकॉर्ड फ़ील्ड एक्सेस और इंडेक्सिंग के लिए एक ही सिंटैक्स इस्तेमाल करती है। कॉल ग्राफ़ को साफ़ रखने के लिए Maguyva बिल्ट-इन टाइप, स्टैंडर्ड लाइब्रेरी पैकेज, एट्रिब्यूट फ़ंक्शन और ऑपरेटर (लगभग 113 पैटर्न) फ़िल्टर करता है, इसलिए स्टैंडर्ड लाइब्रेरी को किए गए कॉल ग्राफ़ एज नहीं बनते। रिकॉर्ड फ़ील्ड एक्सेस और इंडेक्सिंग को फ़ील्ड नामों की किसी सूची से नहीं, बल्कि ग्रामर में उनकी जगह के आधार पर कॉल से अलग पहचाना जाता है। Put_Line, Put और Get जैसे आम टेक्स्ट I/O कॉल जान-बूझकर रखे जाते हैं।
• use क्लॉज़ विज़िबिलिटी बदलते हैं, लेकिन स्ट्रक्चरल सर्च में इम्पोर्ट के रूप में नहीं चुने जाते; with क्लॉज़ चुने जाते हैं।
• रिकॉर्ड और इंटरफ़ेस टाइप नोड अनाम हिस्से हो सकते हैं, इसलिए नाम पर आधारित स्ट्रक्चरल सर्च उन्हें छोड़ सकती है। नाम वाले टाइप के लिए find_symbol इस्तेमाल करें।

अगले कदम

क्विकस्टार्ट से रिपॉज़िटरी जोड़ें, फिर सपोर्ट मैट्रिक्स कम्पैटिबिलिटी पेज पर देखें। अगर आपका Ada कोड C से जुड़ता है, तो C गाइड भी पढ़ें।