Ada是一种结构化,静态类型,命令式,广谱和面向对象的高级计算机编程语言,从Pascal和其他语言扩展而来。
我对此不抱太大希望,但无论如何。 我需要创建一个小部件来选择一个范围(类似于比例小部件,但有两个光标,一个用于下限,另一个用于上限)。这...
我正在尝试在 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; 任务主体背景是 开始 环形 ...
我已经尝试将标头(特别是 CORS)添加到我的服务器响应中几个小时了,但我无法在 ada 中找到 AWS 的方法。有人能帮我吗? (到目前为止,我只找到了添加
我有一个以 BigEndian 顺序编写的二进制文件格式。这些文件的大小各不相同,因此我无法使用 Sequential_IO 来实现此目的,因为我需要读取不同的类型。 问题是,当使用
亲爱的 Ada 爱好者, Long_Money_Type 类型是 delta 10.0**(-22) 位数字 38; 在第一台机器 Ubuntu Linux 64 位 GNAT 8.3.0 上,此方法有效。 在第二台机器上 Alpine Linux 64 位 GNAT 10.3.1 202...