Ada是一种结构化，静态类型，命令式，广谱和面向对象的高级计算机编程语言，从Pascal和其他语言扩展而来。
使用运行时库（MacOS）时缺少 libgnat-2020.dylib
我正在尝试弄清楚如何使用 Ada 构建和链接动态库，但我遇到了一个我似乎无法弄清楚的问题。可能只是 MacOS 上的一个错误。 这是我的设置：我创建了一个 d...
Alire macOS Sonoma GTKAda 在编译简单的“Hello, World!”时未找到“gtk.ads”节目
我在编译和运行简单的 GTKAda“Hello, World!”时遇到问题macOS Sonoma M3 Mac 上的程序。我正在使用 GitHub 上的“alr-6768bdb”，这是 2023 年 12 月 11 日的测试版本...
根据Adaic，Ada中的接口定义为 “没有组件也没有具体操作的标记类型”。它可以用于多重继承。 相反，抽象类型...
我正在我的 Angular 17 项目中使用材料。我想在我的项目中添加 ADA 合规性，并在必要时添加 tabindex。 我面临的问题是，我在垫菜单和选项卡中有按钮...
作为 Ada 的新手，我正在探索它的语法和规则，我想提请注意接下来给出的代码。在这里，我尝试设置变量 Actual_Stiffness 来保持恒定值。它的价值...
我对“简单”的 ADA 程序有疑问。本练习旨在通过参考和后置条件学习 ADA 中的价值。 在这里，我想构建一个简单的函数，将两个整数相加，其中第一个......
是否可以为Protocol Buffer中的字段定义数值范围？
我生活在一个非常安全/关键的 Ada-ic 环境中，并且已经养成了具有明确定义和有界类型定义的习惯。我还遇到过很多 ASN1 使用/传播者。 关键之一
为什么此代码片段中的 Ada 属性“值不会引发 Data_Error 而是引发 Constraint_Error？
该代码片段使用 My_Color'Value 从 String 转换为 My_Color ，它只是引发 Constraint_Error 或 Data_Error ，正如预期的那样。如果您输入正确的代码，第一块代码将起作用...
Ada - 如何从 GNAT Pro Studio 生成包变量列表？
我想使用 GPS Ada 项目中的外部参照信息来生成为每个包规范和主体定义的变量列表。我需要排除子程序内部定义的任何变量...
我需要 ADA 中的递归扩展 Gcd。我在 C 和 Ada 中有两个类似的函数，但只有 C 可以工作。如何修复它？ C： int Extended_gcd(int a, int b, int* x, int* y) { 如果（b==0）{ *x = 1; *...
对于 null 排除，可以定义排除 null 值的访问类型的子类型： type Day_Of_Month_Access 是访问 Day_Of_Month； 亚型
如何用Ada编程语言制作/创建GUI（图形用户界面）？有可能的？ 在Python中，您可以使用tkinter制作窗口窗体。
这来自在线 Ada 参考手册： http://www.adaic.org/resources/add_content/standards/05rm/RM.pdf（第 2.3 节） Decimal_literal 是传统十进制中的 numeric_literal 不是...
即使在过程结束时断言相同的条件并且为真，过程上的后置条件也无法证明
代码如下所示： 规格： 类型 Some_Record_Type 是私有的； 过程 Deserialize_Record_Y（记录：in out Some_Record_Type） 与帖子 => ( 如果 Status_OK 则 ( ... 哦...
如何为对数组元素求和的函数编写 Spark 后置条件？ （Spark 2014，但如果有人向我展示如何为早期的 Spark 做到这一点，我应该能够适应它。） 所以...
SPARK-Ada 使用 GNATProve 假设 GCC 内在函数的后置条件
我想在 SPARK_Mode 中创建一个利用 GNAT GCC 内部函数“__builtin_ctzll”的函数。 带接口；使用接口； 将 GCC_Intrinsic 封装为 SPARK_模式 ...
我大约有一个数据结构（我无法分享完整的来源，但可以根据要求提供其他信息）如下： 通用的 类型 Item_Type 是私有的； 包 Util.Pool 我...
无法断言 libsparkcrypto SHA256 结果相等
我的问题总结 我正在使用 libsparkcrypto 库来实现 SHA256 函数。我发现我无法断言 x = y 意味着 Sha256(x) = Sha256(y)。任何帮助将不胜感激。 ...
我的目的是证明霍纳规则是正确的。为此，我将霍纳当前计算的值与“实”多项式的值进行比较。 所以我写了这段代码： 包...