Ada στο Maguyva: προδιαγραφές, σώματα και γράφοι πακέτων

Γιατί τα αποθετήρια Ada χρειάζονται χάρτη εξαρτήσεων

Η Ada διαχωρίζει αυτό που υπόσχεται ένα πακέτο (.ads) από τον τρόπο που το υλοποιεί (.adb). Είναι καλή μηχανική, και σημαίνει επίσης ότι μια μόνο αλλαγή αγγίζει πολλά αρχεία που μια αναζήτηση κειμένου δεν θα συνδέσει για εσάς. Τα μακρόβια συστήματα Ada προσθέτουν ένα ακόμη επίπεδο: γενικευμένες μονάδες, επισημασμένους τύπους, εργασίες και προστατευμένα αντικείμενα, των οποίων οι σχέσεις μετρούν περισσότερο από οποιοδήποτε μεμονωμένο αρχείο.

Το Maguyva δίνει στον πράκτορα αυτόν τον χάρτη εξαρτήσεων πριν προτείνει μια αλλαγή, δηλαδή ακριβώς με τη σειρά που περιμένει μια αναθεώρηση υψηλής ακεραιότητας.

Τι εξάγει το Maguyva από την Ada

Το Maguyva καλύπτει .ads, .adb και .ada. Τα σώματα υποπρογραμμάτων και οι προδιαγραφές διαδικασιών και συναρτήσεων εξάγονται ως καλέσιμα σύμβολα, έτσι ώστε να μπορείτε να αναζητήσετε τόσο την προδιαγραφή όσο και το σώμα μιας ρουτίνας. Η αντιστοίχιση συμβόλων δεν κάνει διάκριση πεζών-κεφαλαίων, όπως και η ίδια η Ada.

Οι εισαγωγές προκύπτουν από τις προτάσεις with και use· η λέξη-κλειδί αφαιρείται ώστε ο γράφος να αποθηκεύει το όνομα του πακέτου. Ο γράφος καταγράφει επίσης κλήσεις, κληρονομικότητα και επικαλύψεις σε επισημασμένους τύπους, δημιουργία στιγμιοτύπων, αναφορές τύπων, αναγνώσεις και εγγραφές, καθώς και ακμές έγερσης και χειρισμού εξαιρέσεων.

Στη δομική αναζήτηση, οι τύποι task, οι προστατευμένοι τύποι, οι τύποι εγγραφών και οι τύποι interface μπορούν να επιλεγούν ως ορισμοί τύπων και τα σώματα των εισόδων ως μέθοδοι.

Παραδείγματα προτροπών για πράκτορες

• «Ποιες μονάδες εξαρτώνται από το Flight_Control.Sensors και ποια υποπρογράμματά του καλούν;» (dependency_search incoming)
• «Δείξε την προδιαγραφή και το σώμα της Compute_Trajectory και όλους όσους την καλούν.» (find_symbol)
• «Εξήγησε πώς η εργασία τηλεμετρίας παραδίδει δεδομένα στο προστατευμένο αντικείμενο καταγραφής.» (get_task_context)

Γνωστοί περιορισμοί

• Η Ada χρησιμοποιεί την ίδια σύνταξη για ορισμένες κλήσεις, για πρόσβαση σε πεδία εγγραφών και για δεικτοδότηση. Το Maguyva φιλτράρει ενσωματωμένους τύπους, πακέτα της τυπικής βιβλιοθήκης, συναρτήσεις χαρακτηριστικών και τελεστές (περίπου 113 μοτίβα) για να κρατήσει τον γράφο κλήσεων καθαρό, οπότε οι κλήσεις στην τυπική βιβλιοθήκη δεν γίνονται ακμές του γράφου. Η πρόσβαση σε πεδία εγγραφών και η δεικτοδότηση διακρίνονται από τις κλήσεις με βάση τη θέση τους στη γραμματική, όχι με βάση μια λίστα ονομάτων πεδίων. Συνηθισμένες κλήσεις I/O κειμένου όπως Put_Line, Put και Get διατηρούνται σκόπιμα.
• Οι προτάσεις use αλλάζουν την ορατότητα, αλλά δεν επιλέγονται ως εισαγωγές στη δομική αναζήτηση· οι προτάσεις with επιλέγονται.
• Οι κόμβοι τύπων εγγραφών και interface μπορεί να είναι ανώνυμα τμήματα, οπότε οι δομικές αναζητήσεις με βάση το όνομα μπορεί να τους χάσουν. Για επώνυμους τύπους χρησιμοποιήστε το find_symbol.

Επόμενα βήματα

Συνδέστε ένα αποθετήριο με τον γρήγορο οδηγό εκκίνησης και έπειτα δείτε τον πίνακα υποστήριξης στη σελίδα συμβατότητας. Αν ο κώδικας Ada συνδέεται με C, διαβάστε και τον οδηγό για τη C.