ada
-
（SPARK Ada）作为 0-9 范围内数字类型的元素给出的数字？
-
如何在 GPS 社区 2021 中允许 Ada Big_Numbers
-
如何在 procedure/funtion 的 Pre/Post 合同中访问程序的参数，该程序将程序作为访问参数？
-
**Post** 合同中的“旧”属性如何处理可能在函数或过程中释放的访问类型？
-
在 SPARK 检查数组元素报告中设置前提条件 'array index check might fail'
-
如果一个不完整，有没有办法验证两个通用形式是否相同？
-
如何将枚举转换为整数以处理 overflow/wraparound？
-
如何为 SPARK 中的递归函数设置 Pre 和 Post 条件？
-
如何重命名受保护对象条目
-
如何重用 AWS 套接字？
-
Ada 中的标记类型是什么？
-
延迟语句是否将进程置于阻塞状态？
-
Gpr 文件，不包括源中的所有目录
-
从子包中隐藏记录
-
抑制未经检查的转换的警告
-
防止在 GNAT 中使用 Ada 202x
-
可以修改通过“地址”属性传递给过程的变量吗？
-
Return Ada 中只有一个元素的数组
-
在 Ada 中将空枚举传递给泛型的惯用方法
-
可以在 Gnat Studio 中恢复已删除的文件