Ada是一种结构化，静态类型，命令式，广谱和面向对象的高级计算机编程语言，从Pascal和其他语言扩展而来。
ranlib 在 ASFML 中使用 Alire 和 GNAT 时出错
我正在学习如何通过 Ada 绑定到 SFML（即 ASFML）来使用 Alire。到目前为止我已经下载了 并使用 Alire 安装了 ASFML 并成功将其导入到我的测试项目中。当我...
如何在 Alire .toml 文件中添加额外的编译器选项？
对于交叉编译，我需要指定 MCU 类型作为 Ada、C 和理论上的 C++ 编译器的选项。 我怎样才能做到这一点，并且在构建依赖项时也应用它？...
如果我写 类型 u1 的范围为 0 .. 1； 类型索引的范围为 0 .. 499999； U1Array 类型是 u1 的数组（索引）； 我可以假设，这将是一个位向量，它正在打包单个 u1 实例
套餐pack1是 int_acc_typ类型是访问所有整数； 结束包1. --本地程序 与包1； 程序主要是 Int_acc : pack1.int_acc_type; Int_var : 别名整数； 开始 Int_a...
我有两个套餐，分别称为“乘客”和“预订”。他们有一对多的关系。当我尝试在他们的两个文件中进行处理时，我遇到了循环依赖错误。然后我尝试了限制...
包父级是 类型 Item 是私有的； 函数获取返回项； 私人的 类型项目是 记录 值：布尔值； 结束记录； 程序集 （对象...
如何定义只允许使用十六进制字符的 String 子类型？这是我的尝试，但我在子类型定义上失败了： 子类型 Hex_Character 是字符 与 Static_Predicate...
ADA：Gnat Gprbuild 将没有 .adb 的二进制库添加到项目中
我已经使用 Gnatstudio/Gprbuild 在 ADA 中构建了一个静态库。现在，我想在可执行项目中使用它，但我只想提供 .ads 文件和二进制 .a。没有.adb。 我的可执行项目...
我在通用函数中有一个数组，我想逐字节地迭代它。在下面的示例中，我使用的是 Wide_Wide_Character，因此一个字符的长度为 4 个字节。有 3 个给定输入
我有一个要求，需要将字符串从 C 函数传递到 Ada 函数（C-Ada 绑定应用程序）。 C函数： 外部无效 ada_func_print_string(char*); 无效 Pass_String() { ...
无法在 OSX Sonoma 上构建 SDL Ada 绑定，因为出现错误：令牌“(”之前缺少二元运算符
我正在尝试在我的 OSX Sonoma 14.4.1 上使用 ADA（通过 Alire 和 gnat_native 工具链）和 SDL2 编写一个小游戏。 对于 Ada，我使用的是 Alire，从我所看到的来看，我有最新的 gnat 本机版本（
使用运行时库（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 来保持恒定值。它的价值...