Ada是一种结构化，静态类型，命令式，广谱和面向对象的高级计算机编程语言，从Pascal和其他语言扩展而来。
是否可以在一个select语句中混合受保护的入口调用（带屏障）和accept？不使用延迟和两个不同的连续选择，一个用于接受，一个用于入口呼叫：...
我升级到GNAT社区2018（GNAT GPL 2017一切正常）。我有这个项目文件：“opengl”;库项目OpenGL.Soil用于Library_Name使用“SoilAda”;为......
我知道何时以及如何在Ada中使用=>，特别是在使用关键字“others”时，但我不确定它的正确名称，也不确定它是如何以及为何创建的。 Ada的历史和发展是......
Ada - 无约束对象的队列数组导致Storage_Error - 如何解决？
所以，免责声明，我现在只使用Ada几个星期......我希望有一个noob错误导致这个。所以（匿名）代码我有...使用Ada.Text_IO;使用Ada.Text_IO;与阿达....
我想使用位于静态库中的包中的类型和服务。所以，在我的身体main.adb中，我放了一个带有Services.A; Service.A位于外部库（services.a），...
基于Brent Seidel的这项工作，我正在为Arduino Due构建一个运行时。该板使用Atmel SAM3X8E处理器，您可能会注意到这是一个七个字母的名称。布伦特在......
调用c函数的Ada程序在interfaces.c.size_t中存在问题
我一直在研究Ada项目，需要与C库（fftw3）进行交互。我使用命令gcc -c -fdump-ada-spec -C /usr/local/include/fftw3.h来生成初步绑定（有些...
好吧，我很确定这很容易:)我有一个抽象标记类型NamedStructure在spec的私有部分有三个字段：name（一个字符串）结构（大致是一个数组）数字（一个...
CC -c main.ada process_begin：CreateProcess（NULL，CC -c main.ada，...）失败。 make（e = 2）：系统找不到指定的文件。 Makefile：13：目标'main'的配方失败mingw32-make：*** [...
我正在研究一些用于在Ada中编码Arduinos的库。每个库都是自己的项目，我有一个聚合库的聚合项目。我需要为每个指定运行时...
在SPARK中将索引任务链接到相应的索引受保护类型的好方法是什么？具体来说，请考虑以下设置：子类型Thread_Range是自然范围1..n;受保护的P型......
我遗漏了一些关于Ada和类型的想法的基本内容。我想要做的就是这样：procedure示例（rec_len：在interfaces.c.short中）是shortLen：...
我正在为ARM构建一个简单的程序。 GPRbuild输出以下内容：gprbuild -p -P avocado_test.gpr（在目录中：/ home / rodeo / Projects / AvocadoTest）绑定[gprbind] run_avocado_test.bexch ...
规格：带有SPARK_Mode的包PolyPack是Vector的整数数组（自然范围<>）; function RuleHorner（X：Integer; A：Vector）返回Integer，其中Pre => A'Length> ...
如何使用gnatmake编译规范_.ada和body .ada？
gnatmake xx.ada xx_.ada gcc -c -x ada xx.ada xx.ada:44:14：警告：文件名与单位名称不匹配，应为“xx.adb”xx.ada:44：14：file “xx.ads”找不到gnatmake：“xx.ada”......
我有以下项目结构，其中每个.adb文件都是一个独立的可执行文件，它不依赖于任何其他东西：project /├──project.gpr├──bin/│├──bar│├──baz │...
我想写一个简单的函数，找到给定的Integer数组中的最大数字。这里是规范：包最大与SPARK_Mode是类型Vector是数组（整数范围<>）的...
下图是Ada Union类型（图）。如何在Java中将此Union类型从Ada转换为Object？请帮我。这是代码
我刚用GPS安装了AdaCore社区编译器dwarvin版本（gnat-community-2018-20180523-arm-elf-darwin-bin.dmg）。使用adacore的相应安装程序。我还设法......