Ada trên Maguyva: đặc tả, phần thân và đồ thị package

Vì sao kho mã Ada cần bản đồ phụ thuộc

Ada tách điều một package hứa hẹn (.ads) khỏi cách nó thực hiện (.adb). Đó là kỹ thuật tốt, và cũng có nghĩa là một thay đổi chạm vào nhiều tệp mà tìm kiếm văn bản sẽ không nối lại cho bạn. Các hệ thống Ada lâu năm còn thêm một lớp nữa: generic, tagged type, task và protected object, mà quan hệ giữa chúng quan trọng hơn bất kỳ tệp đơn lẻ nào.

Maguyva đưa cho agent bản đồ phụ thuộc này trước khi nó đề xuất thay đổi, đúng theo thứ tự mà một đợt review độ toàn vẹn cao mong đợi.

Maguyva trích xuất gì từ Ada

Maguyva bao phủ .ads, .adb và .ada. Phần thân chương trình con cùng đặc tả thủ tục và hàm đều được trích xuất thành ký hiệu có thể gọi, nên bạn có thể tìm cả đặc tả lẫn phần thân của một routine. So khớp ký hiệu không phân biệt chữ hoa chữ thường, giống như chính Ada.

Quan hệ nhập đến từ mệnh đề with và use; từ khóa được bỏ đi để đồ thị lưu tên package. Đồ thị cũng ghi lại lời gọi, kế thừa và ghi đè trên tagged type, khởi tạo, tham chiếu kiểu, đọc và ghi, cùng các cạnh raise và xử lý ngoại lệ.

Trong tìm kiếm cấu trúc, task type, protected type, record type và interface type có thể được chọn làm định nghĩa kiểu, còn entry body được chọn làm phương thức.

Ví dụ prompt cho agent

• “Những đơn vị nào phụ thuộc vào Flight_Control.Sensors, và chúng gọi chương trình con nào của nó?” (dependency_search theo chiều vào)
• “Cho xem đặc tả và phần thân của Compute_Trajectory cùng mọi nơi gọi nó.” (find_symbol)
• “Giải thích cách task telemetry chuyển dữ liệu cho protected object ghi log.” (get_task_context)

Giới hạn đã biết

• Ada dùng cùng một cú pháp cho một số lời gọi, truy cập trường record và đánh chỉ mục. Maguyva lọc các kiểu dựng sẵn, package thư viện chuẩn, hàm attribute và toán tử (khoảng 113 mẫu) để giữ đồ thị lời gọi gọn gàng, nên lời gọi vào thư viện chuẩn không trở thành cạnh đồ thị. Truy cập trường record và đánh chỉ mục được phân biệt với lời gọi dựa trên vị trí của chúng trong ngữ pháp, không dựa trên danh sách tên trường. Các lời gọi I/O văn bản phổ biến như Put_Line, Put và Get được giữ lại có chủ đích.
• Mệnh đề use thay đổi phạm vi nhìn thấy nhưng không được chọn làm nhập trong tìm kiếm cấu trúc; mệnh đề with thì được chọn.
• Nút record type và interface type có thể là đoạn không tên, nên tìm kiếm cấu trúc theo tên có thể bỏ sót chúng. Dùng find_symbol cho các kiểu có tên.

Bước tiếp theo

Kết nối một kho mã bằng hướng dẫn bắt đầu nhanh, sau đó xem ma trận hỗ trợ trên trang tương thích. Nếu mã Ada của bạn liên kết với C, hãy đọc thêm hướng dẫn C.