Maguyva의 Ada 지원: 명세, 본체, 패키지 그래프

Ada 저장소에 의존성 지도가 필요한 이유

Ada는 패키지가 약속하는 것(.ads)과 그것을 실현하는 방법(.adb)을 분리합니다. 좋은 엔지니어링이지만, 하나의 변경이 여러 파일에 걸치고 텍스트 검색으로는 그 연결을 볼 수 없다는 뜻이기도 합니다. 오래된 Ada 시스템에는 제네릭, 태그드 타입, 태스크, 보호 객체라는 층이 더해지며, 이들의 관계는 어떤 단일 파일보다 중요합니다.

Maguyva는 에이전트가 수정을 제안하기 전에 그 의존성 지도를 건넵니다. 고신뢰 검토가 기대하는 순서이기도 합니다.

Maguyva가 Ada에서 추출하는 것

Maguyva는 .ads, .adb, .ada를 지원합니다. 서브프로그램 본체와 프로시저 및 함수 명세는 호출 가능한 심볼로 추출되므로, 루틴의 명세와 본체를 모두 검색할 수 있습니다. 심볼 매칭은 Ada 자체와 마찬가지로 대소문자를 구분하지 않습니다.

임포트는 with와 use 절에서 만들어지며, 키워드를 떼어 내고 패키지 이름을 그래프에 저장합니다. 그래프에는 호출, 태그드 타입의 상속과 오버라이드, 인스턴스화, 타입 참조, 읽기와 쓰기, 예외 발생과 핸들러 엣지도 기록됩니다.

구조적 검색에서는 태스크 타입, 보호 타입, 레코드 타입, 인터페이스 타입을 타입 정의로, 엔트리 본체를 메서드로 선택할 수 있습니다.

에이전트 프롬프트 예시

• “Flight_Control.Sensors에 의존하는 유닛은 무엇이고, 그 안의 어떤 서브프로그램을 호출하나요?” (dependency_search incoming)
• “Compute_Trajectory의 명세와 본체, 그리고 모든 호출자를 보여 줘.” (find_symbol)
• “텔레메트리 태스크가 로깅용 보호 객체에 데이터를 어떻게 넘기는지 설명해 줘.” (get_task_context)

알려진 한계

• Ada에서는 일부 호출, 레코드 필드 접근, 인덱싱이 같은 문법을 씁니다. Maguyva는 호출 그래프를 깔끔하게 유지하려고 내장 타입, 표준 라이브러리 패키지, 속성 함수, 연산자(약 113개 패턴)를 걸러 내므로, 표준 라이브러리 호출은 그래프 엣지가 되지 않습니다. 레코드 필드 접근과 인덱싱은 필드 이름 목록이 아니라 문법상 위치로 호출과 구분합니다. Put_Line, Put, Get 같은 일반적인 텍스트 I/O 호출은 의도적으로 남겨 둡니다.
• use 절은 가시성을 바꾸지만 구조적 검색에서 임포트로 선택되지 않습니다. with 절은 선택됩니다.
• 레코드 타입과 인터페이스 타입 노드는 익명 조각일 수 있어서, 이름 기반 구조 쿼리가 놓칠 수 있습니다. 이름이 있는 타입에는 find_symbol을 사용하세요.

다음 단계

빠른 시작으로 저장소를 연결한 다음, 호환성 페이지에서 지원 매트릭스를 확인하세요. Ada 코드가 C와 바인딩되어 있다면 C 가이드도 읽어 보세요.