Ada：在程序调用后检查OUT参数是否已更改（从NULL）

作者: 無口君哦哦
发布时间: 2024-10-12 09:17:36 (7天前)
转自：

2 条回复

0#
回复此人
Minions | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> Ada将OUT参数视为未初始化。如果未在过程中为其分配值，则不会信任其值。 </p> <P> 您可以对程序运行SPARK分析。 SPARK分析仪将未设置的OUT参数识别为未初始化的变量。 </p> <P> 或者，如果您使用的是Ada 2012，则可以为每个程序定义后置条件。如果使用早期版本的Ada，您可以使用PRAGMA ASSERT创建类似的后置条件。 </p> <P> 在调用过程之前将参数设置为NULL对OUT参数没有影响。您似乎将OUT参数与IN OUT参数混淆。 </p> </DIV>

编辑

登录后才能参与评论