Ada是一种结构化，静态类型，命令式，广谱和面向对象的高级计算机编程语言，从Pascal和其他语言扩展而来。
macOS Sonoma GtkAda已安装，但Gnat Studio和其他人看不到它
我有配备 macOS Sonoma 的 Mac，并且我已从 AdaCore 获得的源代码成功编译并安装了 GtkAda，没有任何错误。它安装在 /usr/local/lib/gnat 和 /usr/local/lib/gtk...
我正在学习 Ada 作为一项业余活动，虽然我意识到它很大程度上受到 Pascal 的启发，但我找不到与 Pascal 集类似的类型。 set 内置于 Pascal 语言中...
为什么以下代码失败？ 我故意选择了Characters.Latin_1.Reserved_128。 -- 文件“print_non_graphic_character.adb” 与 Ada.Characters.Latin_1; 与 Ada.Text_IO； 与 Ada.Strings。
我对此不抱太大希望，但无论如何。 我需要创建一个小部件来选择一个范围（类似于比例小部件，但有两个光标，一个用于下限，另一个用于上限）。这...
我正在尝试在 Ada 项目文件上运行 gnattest： gnattest -P(项目名称) 我收到以下错误： 找不到运行时本机的对象路径 gnattest：初始化失败 我确定了
我想使用一个实现工厂方法设计模式的C++库。 下面您可以看到一个最小的可重现示例，包括 C++ 源代码和 Ada 适配器。 项目.h： // 产品int...
这篇文章似乎没有引起太多关注，所以我想我会在这里再问一次。 CR 类型是什么导致了这种情况？如何修改后置条件才能让SPARK证明...
我必须使用使用 xerces-c 的 C++ 库。然后我有一个 Ada 项目，它从前面提到的 C++ 库导入两个符号。当我尝试构建 Ada 项目的主要部分时，一个面包......
Gcc 13.1.0 macOS Sonoma 无法在 Intel 或 M1 Mac 上编译 Ada 或任何语言
我刚刚在我的 Intel 和 M1 Mac 上升级到 macOS Sonoma，Gcc 和 Alire 无法编译简单的 Ada 程序或任何其他程序，因此我怀疑这是兼容性问题。我正在使用 Gcc 13.1.0 aarch64 和
在java中我有时会使用这个方法来查看我在当前堆栈中的位置： http://download.oracle.com/javase/1.5.0/docs/api/java/lang/Thread.html#dumpStack() 我是 Ada 世界的新手，但我...
我想从 System.address 初始化类型。例如 ： 通用的 T_Generic 类型是私有的； 包 MyPackage 是 G_Addr : 系统地址； 程序注册（myAddr：System.add...
如何在 ada 中获取以微秒为单位的当前时间（格式为整数64）？ 我想要获得相当于 C 函数clock_gettime (frome time.h) 的功能。
我想在Ada中导入一个C函数。 有C部分： 无效寄存器（const void *ctxt） { 已保存的ctxt = ctxt； // 这是一个全局变量 } 无效Send_Trace(const void *ctxt,
我正在使用 ada 中的一个库，其中包含许多类型： Int8 类型的范围是 -8 ** 7 .. 2 ** 7 - 1； 子类型 T_Name_String 为 Int8； 类型 T_Name_String_Fixed20 是 T_Name_String 的数组（范围 1..20）； ...
我想在 Ada 中初始化一个固定长度的字符串，或多或少像下面这样： S : String (1..256) := ("Hello", other => Character'Val(0)); 我在尝试编译时遇到错误。有没有...
我有一个File_Reader，由两个记录组成，File和Buffer。我想确保两个记录在初始化时始终具有有效的缓冲区大小，即 Data_File.IO_Buffer_Size 等于 Data_I...
OBS！我的代码是用瑞典语术语编写的。 我必须编写增值税表，但遇到了一些有关浮点及其舍入值的方式的问题。起初，我使用的是 while 循环，但是......
有没有办法在后台运行 Ada 任务？ 包体主要是 任务类型Background为结束Background； 任务主体背景是 开始 环形 ...