ada 相关问题

Ada是一种结构化，静态类型，命令式，广谱和面向对象的高级计算机编程语言，从Pascal和其他语言扩展而来。

我正在尝试使用循环队列来实现这一点。我的程序执行但在构建和运行时显示已成功终止

LinkSort.adb 文件与 Ada.Text_IO；使用 Ada.Text_IO；程序 LinkSort 是类型 JobType 为（会计、分析、经理、制造、程序员、库存、销售、软件工程师）；帕克...

loops ada io-redirection circular-queue

回答 1 投票 0

错误：声明必须在开始之前出现（Ada）

程序主要是开始 -- 在此处插入代码.procedure LinkSort ; 类型 JobType 是（会计、分析、经理、制造、程序员、库存、销售、软件工程师）；

ada io-redirection

回答 1 投票 0

我可以在 Ada 的同一单元内实例化泛型吗？

这似乎不可能，但我还没有看到明确的答案。我想做的是定义一个带有一些通用形式参数的通用子程序，并在同一页中实例化它...

generics package ada elaboration

回答 1 投票 0

macOS Sonoma GtkAda已安装，但Gnat Studio和其他人看不到它

我有配备 macOS Sonoma 的 Mac，并且我已从 AdaCore 获得的源代码成功编译并安装了 GtkAda，没有任何错误。它安装在 /usr/local/lib/gnat 和 /usr/local/lib/gtk...

macos ada gtkada

回答 2 投票 0

Ada 是否有与 Pascal 集合等价的类型？

我正在学习 Ada 作为一项业余活动，虽然我意识到它很大程度上受到 Pascal 的启发，但我找不到与 Pascal 集类似的类型。 set 内置于 Pascal 语言中...

ada

回答 1 投票 0

无界字符串“ENCODING_ERROR：项目输入错误”

为什么以下代码失败？我故意选择了Characters.Latin_1.Reserved_128。 -- 文件“print_non_graphic_character.adb” 与 Ada.Characters.Latin_1; 与 Ada.Text_IO；与 Ada.Strings。

string character ada gnat

回答 1 投票 0

Gtkada 小部件从头开始

我对此不抱太大希望，但无论如何。我需要创建一个小部件来选择一个范围（类似于比例小部件，但有两个光标，一个用于下限，另一个用于上限）。这...

ada gtkada

回答 1 投票 0

尝试运行 gnattest 时出错

我正在尝试在 Ada 项目文件上运行 gnattest： gnattest -P(项目名称) 我收到以下错误：找不到运行时本机的对象路径 gnattest：初始化失败我确定了

ada gnat

回答 2 投票 0

Ada 接口 C++：实例被破坏

我想使用一个实现工厂方法设计模式的C++库。下面您可以看到一个最小的可重现示例，包括 C++ 源代码和 Ada 适配器。项目.h： // 产品int...

c++ oop ada

回答 1 投票 0

SPARK 功能正确性证明

这篇文章似乎没有引起太多关注，所以我想我会在这里再问一次。 CR 类型是什么导致了这种情况？如何修改后置条件才能让SPARK证明...

ada proof-of-correctness gnatprove

回答 1 投票 0

在 GNAT 上链接错误 xerces-c

我必须使用使用 xerces-c 的 C++ 库。然后我有一个 Ada 项目，它从前面提到的 C++ 库导入两个符号。当我尝试构建 Ada 项目的主要部分时，一个面包......

c++ ada xerces gnat

回答 1 投票 0

Gcc 13.1.0 macOS Sonoma 无法在 Intel 或 M1 Mac 上编译 Ada 或任何语言

我刚刚在我的 Intel 和 M1 Mac 上升级到 macOS Sonoma，Gcc 和 Alire 无法编译简单的 Ada 程序或任何其他程序，因此我怀疑这是兼容性问题。我正在使用 Gcc 13.1.0 aarch64 和

macos gcc apple-m1 ada

回答 1 投票 0

在 GNAT 编译的 Ada 中转储当前堆栈？

在java中我有时会使用这个方法来查看我在当前堆栈中的位置： http://download.oracle.com/javase/1.5.0/docs/api/java/lang/Thread.html#dumpStack() 我是 Ada 世界的新手，但我...

stack stack-trace trace ada gnat

回答 1 投票 0

从地址初始化类型

我想从 System.address 初始化类型。例如：通用的 T_Generic 类型是私有的；包 MyPackage 是 G_Addr : 系统地址；程序注册（myAddr：System.add...

ada memory-address

回答 1 投票 0

获取当前时间（以微秒为单位）

如何在 ada 中获取以微秒为单位的当前时间（格式为整数64）？我想要获得相当于 C 函数clock_gettime (frome time.h) 的功能。

unix time ada

回答 1 投票 0

声明未定义类型的函数

我想创建一个采用某种泛型类型的库（或者类似的东西，我不知道它是如何调用的）。我拥有的：包A是类型A_Type是记录字段：字段类型； ...

ada

回答 1 投票 0

导入带 void* 参数的 C 函数

我想在Ada中导入一个C函数。有C部分：无效寄存器（const void *ctxt） { 已保存的ctxt = ctxt； // 这是一个全局变量 } 无效Send_Trace(const void *ctxt,

import ada void-pointers

回答 1 投票 0

来自整数8的字符串

我正在使用 ada 中的一个库，其中包含许多类型： Int8 类型的范围是 -8 ** 7 .. 2 ** 7 - 1；子类型 T_Name_String 为 Int8；类型 T_Name_String_Fixed20 是 T_Name_String 的数组（范围 1..20）； ...

arrays string ada

回答 1 投票 0

在 Ada 中初始化固定长度字符串的最佳方法是什么？

我想在 Ada 中初始化一个固定长度的字符串，或多或少像下面这样： S : String (1..256) := ("Hello", other => Character'Val(0)); 我在尝试编译时遇到错误。有没有...

string ada bounded-types

回答 2 投票 0

如何确保一条记录的判别值等于另一个记录组件的值？

我有一个File_Reader，由两个记录组成，File和Buffer。我想确保两个记录在初始化时始终具有有效的缓冲区大小，即 Data_File.IO_Buffer_Size 等于 Data_I...

record ada variant discriminant

回答 1 投票 0

ada 相关问题

最新问题