Есть ли что-то похожее на проверенные исключения Java в языке Ada?

Question

Java заставляет программиста явно указывать исключения, вызванные методами, или предоставлять обработчики для них.Есть ли что-то похожее в языке Ада?

Answer 1

Единственный способ сделать это в Аде - написать инструмент, который сделает это за вас, см. ASIS и libadalang.

Answer 2

Ада не имеет исключительных договоров. ARG рассмотрел его и - пока что - решил, что оно того не стоит ( AI12-0017-1 ).

Я виделв некоторых случаях в последнее время, когда это выглядит так, что это стоило бы усилий.

SPARK (доказуемое подмножество / надмножество Ada) полностью исключает исключения, так что это вариант, но это не всегда выполнимо доказатьполное отсутствие всех исключений.