Обработка исключений (Ada), Разделено Опции

[TarasBer]

В тему исключений (а то я стесняюсь заводить по 10 тем в день).
Как повесить на исключение дополнительную информацию?

А то получается такая фигня:

...
if ... then
   error_flag := ... -- целое, может принимать 1000 разных значений, не заводить же по исключению на каждое
   raise My_Exception_With_Flag;
end if;
...
when My_Exception_With_Flag => 
   Put_Line(Integer'Image(error_flag));
...

Совмещение подхода исключений и кодов ошибок в одном флаконе!

[TarasBer]

> Но можно и номер ошибки в строку перевести...

А перевести что-то посложнее, типа структуру какую-нибудь? Кроме побайтового отображения в строку мне ничего в голову не приходит, может, дельфиновый опыт так сказывается. Но всё это очень небезопасно и бесконтнольно, и контролируемые объекты таким образом лучше не передавать. А если бы компилятор знал, что с данным типом исключения всегда идёт такая-то структура, то можно было бы на стадии компиляции отследить.