有没有适用于Ada的好的单元测试框架？
我来自C++背景，但目前在使用Ada开发。在C++世界中，我会在编写每个类时进行单元测试...但这似乎不是我们公司代码库流行的做法。 我想开始为我创建的Ada软件包实施单元测试，有没有好的框架可以用？
然后在 C++ 中的条件语句中
除了布尔“and”运算符之外，Ada还具有在if条件语句中使用的and then语句的良好特性。这允许在访问对象之前进行检查，例如检查对象是否为非空：if Object /= null and then Object.Value > 5 then -- do something w...
在Spark中证明Floor_Log2
作为我第一次接触Spark和Ada，所以这个问题可能过于宽泛。然而，这是出于诚意的提问，旨在帮助理解Spark。除了以下问题的直接答案之外，我也欢迎对样式、工作流程等方面进行批评。在我第一次尝试Spark时，我选择尝试实现（简单的）并证明（目前不成功）函数。问题：如何正确地实现和证明此函数的正...
为什么Ada没有捕获这个指定的范围检查？
我正在学习learn.adacore.com教程，遇到了一个问题，不确定该怎么解决。 具体来说，我知道Ada旨在捕获试图使变量溢出指定范围定义的尝试。 在下面的例子中，第一次尝试这样做会导致编译器出现“范围检查失败”的错误，这是预期的。然而，接下来的那行代码没有捕获它，我不确定原因： w...
在Ada中取消Integer'Image值后面的空格
我打印出下面的过程时 - procedure put (Date:Date_Type) is begin Put(Integer'Image(Date.Day)); --' Put("-"); Put(Integer'Image(Date.Month)); --' Put("-...
在Ada中的二次方程
我刚刚开始学习Ada并尝试编写一些代码。不过缺点是，它的语法和函数与C++有很大区别，因此我必须强行将各种东西塞进去才能让这个程序正常运行。 我的问题是，是否有更好的方法来执行我在这里所做的计算？ IF(B < 0.0) THEN B := ABS(B); ...
使用DynaLoader.pm在Perl中加载Ada共享对象
长期听众，第一次致电。我知道这是一个有些晦涩的问题，不要对它抱有太高期望。:-) 我有以下Ada文件： greeter.ads package Greeter is procedure Hello; end Greeter; greeter.adb with Ada.Tex...
搭建x86裸机Ada工具链
请原谅这个比较宽泛的问题。我想知道如何创建一个针对裸机x86的Ada工具链。 我看到了Lucretia在osdev.org上的Ada Bare Bones教程，提供了一些有关构建适合裸机开发的运行时的有用信息。这一方面非常简单，但我不太确定如何为该平台构建交叉编译器，或者是否需要这样做。 我...
有没有一种方式可以在Ada中格式化文本输出？
有没有一种方法可以格式化输出的字符串？我想要一个漂亮的视图来显示以下输出1: Ashley | 01033438392 | Wellington, New Zealand | 1987- 4-14 2: Aloha | 01087651234 | Hawaii, United States...
Ada中动态数组大小在运行时确定
是否可以像这样在运行时确定大小的数组，Procedure prog is type myArray is array(Integer range <>) of Float; arraySize : Integer := 0; theArray : myArray(...