ada 相关问题

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

Ada - 从异构列表中释放

操StackOverflow,操OpenAI。

回答 1 投票 0


Ada 通用链表和通用包访问

操StackOverflow,操OpenAI。

回答 1 投票 0

将字符串从 C 传递到 Ada 的最佳方式

我有一个要求,需要将字符串从 C 函数传递到 Ada 函数(C-Ada 绑定应用程序)。 C函数: 外部无效 ada_func_print_string(char*); 无效 Pass_String() { ...

回答 1 投票 0

无法在 OSX Sonoma 上构建 SDL Ada 绑定,因为出现错误:令牌“(”之前缺少二元运算符

我正在尝试在我的 OSX Sonoma 14.4.1 上使用 ADA(通过 Alire 和 gnat_native 工具链)和 SDL2 编写一个小游戏。 对于 Ada,我使用的是 Alire,从我所看到的来看,我有最新的 gnat 本机版本(

回答 1 投票 0

使用运行时库(MacOS)时缺少 libgnat-2020.dylib

我正在尝试弄清楚如何使用 Ada 构建和链接动态库,但我遇到了一个我似乎无法弄清楚的问题。可能只是 MacOS 上的一个错误。 这是我的设置:我创建了一个 d...

ada
回答 1 投票 0

Alire macOS Sonoma GTKAda 在编译简单的“Hello, World!”时未找到“gtk.ads”节目

我在编译和运行简单的 GTKAda“Hello, World!”时遇到问题macOS Sonoma M3 Mac 上的程序。我正在使用 GitHub 上的“alr-6768bdb”,这是 2023 年 12 月 11 日的测试版本...

回答 1 投票 0

Ada:接口和抽象标记类型之间的区别?

根据Adaic,Ada中的接口定义为 “没有组件也没有具体操作的标记类型”。它可以用于多重继承。 相反,抽象类型...

回答 2 投票 0

MatMenu 中按钮上的 tabindex 角度不起作用

我正在我的 Angular 17 项目中使用材料。我想在我的项目中添加 ADA 合规性,并在必要时添加 tabindex。 我面临的问题是,我在垫菜单和选项卡中有按钮...

回答 1 投票 0

Ada 中的常量声明

作为 Ada 的新手,我正在探索它的语法和规则,我想提请注意接下来给出的代码。在这里,我尝试设置变量 Actual_Stiffness 来保持恒定值。它的价值...

回答 2 投票 0

通过引用或后置条件获取值的 ADA 问题

我对“简单”的 ADA 程序有疑问。本练习旨在通过参考和后置条件学习 ADA 中的价值。 在这里,我想构建一个简单的函数,将两个整数相加,其中第一个......

ada
回答 1 投票 0

赋值语句中的求值顺序

Ada 2012 标准说: 对于赋值语句的执行,首先以任意顺序计算变量名和表达式。 我想知道达到这个统计数据有多远......

ada
回答 1 投票 0

是否可以为Protocol Buffer中的字段定义数值范围?

我生活在一个非常安全/关键的 Ada-ic 环境中,并且已经养成了具有明确定义和有界类型定义的习惯。我还遇到过很多 ASN1 使用/传播者。 关键之一

回答 2 投票 0

为什么此代码片段中的 Ada 属性“值不会引发 Data_Error 而是引发 Constraint_Error?

该代码片段使用 My_Color'Value 从 String 转换为 My_Color ,它只是引发 Constraint_Error 或 Data_Error ,正如预期的那样。如果您输入正确的代码,第一块代码将起作用...

ada
回答 1 投票 0

Ada - 如何从 GNAT Pro Studio 生成包变量列表?

我想使用 GPS Ada 项目中的外部参照信息来生成为每个包规范和主体定义的变量列表。我需要排除子程序内部定义的任何变量...

回答 3 投票 0

如何用Ada编写递归GCD程序?

我需要 ADA 中的递归扩展 Gcd。我在 C 和 Ada 中有两个类似的函数,但只有 C 可以工作。如何修复它? C: int Extended_gcd(int a, int b, int* x, int* y) { 如果(b==0){ *x = 1; *...

ada
回答 1 投票 0

访问常量作为通用访问类型的子类型

对于 null 排除,可以定义排除 null 值的访问类型的子类型: type Day_Of_Month_Access 是访问 Day_Of_Month; 亚型

回答 1 投票 0

Ada 编程语言中的 GUI [已关闭]

如何用Ada编程语言制作/创建GUI(图形用户界面)?有可能的? 在Python中,您可以使用tkinter制作窗口窗体。

回答 3 投票 0

Ada 数字文字和下划线

这来自在线 Ada 参考手册: http://www.adaic.org/resources/add_content/standards/05rm/RM.pdf(第 2.3 节) Decimal_literal 是传统十进制中的 numeric_literal 不是...

回答 1 投票 0

即使在过程结束时断言相同的条件并且为真,过程上的后置条件也无法证明

代码如下所示: 规格: 类型 Some_Record_Type 是私有的; 过程 Deserialize_Record_Y(记录:in out Some_Record_Type) 与帖子 => ( 如果 Status_OK 则 ( ... 哦...

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.