Ada dalam Maguyva: spesifikasi, badan dan graf pakej

Mengapa repositori Ada memerlukan peta pergantungan

Ada memisahkan apa yang dijanjikan oleh pakej (.ads) daripada cara ia menunaikannya (.adb). Itu kejuruteraan yang baik, dan ia juga bermakna satu perubahan menyentuh banyak fail yang tidak akan dihubungkan oleh carian teks untuk anda. Sistem Ada berusia panjang menambah satu lapisan lagi: generik, tagged type, task dan protected object, yang hubungannya lebih penting daripada mana-mana fail secara bersendirian.

Maguyva memberikan peta pergantungan ini kepada ejen sebelum ia mencadangkan perubahan, tepat mengikut urutan yang dijangka oleh semakan integriti tinggi.

Apa yang diekstrak oleh Maguyva daripada Ada

Maguyva meliputi .ads, .adb dan .ada. Badan subprogram serta spesifikasi prosedur dan fungsi sama-sama diekstrak sebagai simbol boleh panggil, jadi anda boleh mencari spesifikasi dan badan sesuatu rutin. Padanan simbol tidak sensitif huruf besar kecil, sama seperti Ada sendiri.

Import datang daripada klausa with dan use; kata kunci dibuang supaya graf menyimpan nama pakej. Graf juga merekodkan panggilan, pewarisan dan penggantian pada tagged type, penginstansian, rujukan jenis, bacaan dan tulisan, serta tepi pembangkitan dan pengendalian pengecualian.

Dalam carian berstruktur, task type, protected type, record type dan interface type boleh dipilih sebagai definisi jenis, dan badan entry sebagai kaedah.

Contoh gesaan ejen

• “Unit mana yang bergantung pada Flight_Control.Sensors, dan subprogram mana yang dipanggil?” (dependency_search arah masuk)
• “Tunjukkan spesifikasi dan badan Compute_Trajectory serta setiap pemanggilnya.” (find_symbol)
• “Terangkan cara task telemetri menyerahkan data kepada protected object pengelogan.” (get_task_context)

Had yang diketahui

• Ada menggunakan sintaks yang sama untuk sesetengah panggilan, akses medan rekod dan pengindeksan. Maguyva menapis jenis terbina dalam, pakej pustaka standard, fungsi atribut dan operator (kira-kira 113 corak) supaya graf panggilan kekal bersih, jadi panggilan ke pustaka standard tidak menjadi tepi graf. Akses medan rekod dan pengindeksan dibezakan daripada panggilan berdasarkan kedudukannya dalam tatabahasa, bukan senarai nama medan. Panggilan I/O teks biasa seperti Put_Line, Put dan Get dikekalkan dengan sengaja.
• Klausa use mengubah keterlihatan tetapi tidak dipilih sebagai import dalam carian berstruktur; klausa with dipilih.
• Nod record type dan interface type mungkin serpihan tanpa nama, jadi carian berstruktur berasaskan nama mungkin terlepas. Gunakan find_symbol untuk jenis yang bernama.

Langkah seterusnya

Sambungkan repositori dengan panduan permulaan pantas, kemudian semak matriks sokongan di halaman keserasian. Jika kod Ada anda dihubungkan dengan C, baca juga panduan C.