是否有类似于Java的Ada语言检查异常的内容？

Question

Java强制程序员明确指定方法引发的异常或为它们提供处理程序。 Ada语言有类似的东西吗？

Answer 1

Ada没有例外合同。 ARG已经考虑过了，到目前为止-认为这样做不值得（AI12-0017-1）。

最近我看到了一些情况，看来值得付出努力。

SPARK（Ada的可证明子集/超集）可以完全防止异常，因此这是一种选择，但是证明完全不存在所有异常并非总是可行的。

Answer 2

在Ada中执行此操作的唯一方法是编写一个为您执行此操作的工具，请参阅ASIS和libadalang。