Clair 라이브러리: Ada 예외를 C API로 매핑하기

Ada로 작성된 Clair 라이브러리는 내부적으로 다양한 예외(Error1 ~ Error30)를 던집니다. 하지만 C API를 외부로 제공할 때는 Ada 예외를 그대로 노출할 수 없죠. C 세계에서는 errno 스타일의 정수 반환값이 더 자연스럽습니다. 그래서 Ada 예외를 int 값으로 변환하는 공통 핸들러를 두고, 각 API의 exception 블록에서 호출하는 구조를 설계했습니다.

🔎 문제 상황

• Ada 내부: raise Error1; 같은 예외 발생.
• C API: 예외를 받을 수 없음 → 대신 int 코드로 반환해야 함.
• 각 함수마다 예외 처리 코드를 중복 작성하면 유지보수 지옥.

✅ 해결 방법: 공통 핸들러

Ada에서 예외를 잡아 정수 코드로 변환하는 함수를 작성합니다.

function Exception_To_Code return Interfaces.C.int is
begin
   return 0; -- 기본 성공 코드
exception
   when Clair.Errors.Error1 =>
      return 1;
   when Clair.Errors.Error2 =>
      return 2;
   ...
   when Clair.Errors.Error30 =>
      return 30;
   when others =>
      return -1; -- 알 수 없는 예외
end Exception_To_Code;

📝 API 예시

각 Clair API 함수는 exception 블록에서 공통 핸들러를 호출합니다.

function clair_do_something return Interfaces.C.int
with Export, Convention => C, External_Name => "clair_do_something" is
begin
   -- Ada 내부 로직
   Do_Something;
   return 0; -- 성공
exception
   when others =>
      return Exception_To_Code;
end clair_do_something;

🚀 장점

• 중복 제거: 모든 API에서 동일한 핸들러 호출.
• 유지보수 용이: 예외 매핑을 한 곳에서 관리.
• C 친화적: 외부에서는 errno 스타일로 처리 가능.
• Zero-overhead: 단순한 분기와 정수 반환만 추가.

🎯 결론

Ada 예외를 C API로 매핑할 때는 공통 핸들러를 만들어서 각 함수의 exception 블록에서 호출하는 방식이 가장 깔끔합니다. Clair 라이브러리는 Ada 내부에서는 예외 기반 API를, 외부에는 정수 기반 API를 제공해 두 세계를 자연스럽게 연결할 수 있습니다.