Gil*_*tes 1 static-analysis exception-handling exception ada
Java强制程序员明确指定方法引发的异常或为它们提供处理程序.Ada语言中有类似的东西吗？
阿达没有例外合同.该ARG已经考虑过,并且-迄今为止-决定,这是不值得的努力(AI12-0017-1).
我最近看到过一些案例,看起来值得付出努力.
SPARK(Ada的可证明子集/超集)完全阻止了异常,因此这是一个选项,但是完全证明所有异常的缺失并不总是可行的.
| 归档时间： |
|
| 查看次数： |
122 次 |
| 最近记录： |