-
如何使用linekd列表修复泄漏的内存valgrind?
我建立了一个集合链表,该集合链表我不能两次向集合添加相同的项,所以我已经实现了此过程,但是 -
Ada-关于“ mod 64”类型定义的编译器警告
我需要一个有效值在0到63之间(含0和63)的模块化整数类型。例如... <pre><code>type Mix_Byte is mod 64; </co -
Ada-如何初始化包含File_Type成员的有限标记类型?
在下面的代码中,Mix_Card_Reader继承自Mix_IO_Device,后者是抽象的标记记录。 以前,它包含一个<code># -
Ada-如何实现允许主线程轮询的异步任务?
我想创建一个从文件读取几分钟的任务,而主线程执行其他操作。但是我希望主线程能够轮询任务以查 -
“用于XXX使用”子句是否对空记录有意义?
我已经为所有记录类型添加了表示形式(rep)子句,这些子句将通过消息发送到另一个处理器。这是另 -
约束枚举子类型
是否可以在不使用范围而是使用特定值的情况下在Ada中约束Enum类型?例如: <pre><code>type Rainbow is (Red -
指定另一个包中的子程序没有被阻止吗?
SPARK限制了从受保护对象内部调用可能阻塞的子程序。 但是,我注意到,如果在受保护对象所在 -
如果不告知,会使ada程序的输出缩进什么?
我目前正在从<a href="https://learn.adacore.com/index.html" rel="nofollow noreferrer">learn.adacore.com</a>开始进行Ada教程, -
使用Ravenscar在嵌入式设备上执行多任务
我正在使用Ravenscar配置文件来构建利用任务的应用程序。 作为一个简单的例子,我有一个任务带 -
通用树指针ada的实例化
我尝试在Ada中构建通用的二进制搜索树模块,并且该树将是通用参数,因此,我这样做: <pre><code>-- -
Ada-如何定义任务参数
我是Ada的新朋友。 我的问题是: 使用ADA编程语言创建 有6个湖泊。每个湖泊都有: -
SPARK中的程序验证-计数数组中的元素
我编写了一个非常简单的程序,但未能证明它的功能正确。它使用项目列表,每个项目都有一个字段指 -
如何在Ada中生成唯一的ID?
我正在处理一个Ada项目,我正在尝试生成一个唯一的ID,该ID将用作一个人的唯一标识符。 我想知道是否 -
Ada-(Streams)如何在不事先知道字符串长度的情况下正确调用String'Read()
我正在尝试编写一个快速程序,以将AT命令发送到串行端口调制解调器。我已经使用正确的设置(B115200 -
重构:自动删除已重命名的软件包
Ada支持对软件包(<a href="https://www.adaic.org/resources/add_content/standards/05aarm/html/AA-8-5-3.html" rel="nofollow noreferr -
使用所有默认值初始化记录类型的常量变量
说我有类型 <pre><code>type Record_T is record VAR1 : integer := 1; VAR2 : string := ""; end record; -
本机编译中的Ravenscar任务/程序终止
据我了解,Ravenscar配置文件的一个限制是任务不应终止。 这在裸机上当然很有意义,但是在本机 -
Concat将字段分隔为一个
我在Ada工作,我有一个很难修改的丑陋类型,我想做些易于使用的事情。 类型是这样的: <pre> -
定点声明中带有gnat的奇怪编译错误
编译失败,并显示以下F6声明: <pre><code>type F3 is delta 2.0**(-4) range 0.0 .. ((2.0**8)-1.0)*2.0**(-4); -- byte 1 -
使用Ada使有关包装主体要求的“信息”消息令人困惑?
在开发QR码生成器的早期阶段,我正在经历来自GNAT 7.4.0(在“ Ubuntu 19.04”系统上运行)的特殊“信息” -
Ada:循环导致以后的代码无法访问
我是Ada的新手。我正在尝试使以下代码正常工作: <pre class="lang-vhdl prettyprint-override"><code>begin Ada.Text_ -
阿达在终端中运行时获取“依赖”
有人知道您为什么在终端中看到“空白取决于空白”吗?当然是空白的文件名。 <pre><code>lab5b.adb:1:59: -
Ada重叠标签字段
这是我的类型: <pre class="lang-vhdl prettyprint-override"><code>package MyPackage is Type T_MyType is record Fie -
GNAT GPS:添加自定义命令
我想知道是否可以向GNAT编程工作室(GPS)添加自定义命令吗? 如果调用了自定义命令(通过菜单 -
如何使gnattest仅考虑src目录中的代码?
我必须给gnattest什么命令,使其仅考虑src目录中的代码(并忽略所有子项目,例如Ada Drivers Library)? -
为什么Ada不允许匿名访问对象之间进行隐式转换?
我正在通过巴恩斯的著作《 2012年Ada编程》来努力。这是一个代码示例,实现了第12.5节中的堆栈。 <p -
ADA无法在GPS IDE中链接glut32.dll
我正在GPS IDE中使用ADA编写简单的OpenGl程序。 我拥有所有支持文件(例如glut.ads/adb、Gl.ads/adb) -
NCurses在Ubuntu 19.10下为Ada 2012构建环境
我有一个即将到来的Ada项目(命令行交互式控制台程序),并且我想使用ncurses之类的东西来简化屏幕管 -
在ADA中集成GLUT时,如何解决“对glGetDoublev的未定义引用”?使用的IDE:GPS。我正在尝试创建一个简单的窗口
示例主代码:(main.adb) <pre class="lang-ada prettyprint-override"><code> with GL; with GLUT; procedure Main is -
对于任何给定的值“ n”,打印如下所示的图案
对于任何给定的值“ n”,打印如下所示的图案 输入格式 表示“ n”值的单个整数 约