现代Ada到C/C++翻译器
有没有能够将Ada（95，2005）转换为C的源到源转换器（翻译器）？ 它们有多全面（它们能够将Ada的每个特性转换为gnu c99 + pthreads + POSIX吗）？ 在关键应用程序中是否可以使用这样的ada-to-c翻译器？ PS：欢迎使用C ++（带gnu扩展的2003年版本...
通用访问类型 Ada
我还不太清楚在通用访问类型中关键字 all 的作用。 以下两种定义方式有何区别： type int_access is access all Integer; 和 type int_access is access Integer; 例如： type int_ptr is access...
如何证明这个不变量？
我旨在证明霍纳规则（Horner's Rule）的正确性。为此，我将当前由霍纳计算得到的值与“真实”多项式的值进行比较。 因此，我编写了以下代码： package body Poly with SPARK_Mode is function Horner (X : Integer; A ...
如何在Ada中从其他字符串构建一个字符串？
我希望在日志文件中输出一行标题，然后是数据前的一行“-”。为此，我创建了一个标题字符串，然后输出相同数量的“-”字符。 但以下代码总是失败并显示 CONSTRAINT_ERROR，因为生成的字符串不是1024个字符。在Ada中，字符串赋值需要完全相同的长度，而不仅仅是足够的容量。 选项1）...
在通用套件中定义模块类型
简而言之，为什么这不起作用： generic Max : in Positive; package Modular_Gen_Issue is procedure Foo; private type Mod_Thing is mod Max; -- NOK type I...
如何创建一个ada lib.a并将其链接到C
我正在尝试创建一个Ada库，并尝试了几种不同的方法。 我已经尝试使用makefiles编译项目，并尝试从所有.o文件创建库。 这似乎没有按预期工作。 然后我向adacore支持人员寻求帮助，他们指导我使用.gpr文件来处理ada和c项目，在ada.gpr中进行设置，以创建库。这几乎起作用了，但...
你能从C++调用Ada函数吗？
我完全不懂Ada语言，但是我在高中时使用过Pascal约2-3年。 如果我没记错的话，可以从C/C++调用编译后的Pascal函数。那么是否可以从C++中调用使用Ada编写的过程和函数呢？
Ada入口和when语句的用法
我是Ada编程语言的新手，正在进行并发编程，但我在一个实现上遇到了问题。这可能是一个非常愚蠢的问题。代码如下： type status is array(1..6) of boolean; --boolean values for each track track_available :st...
Ada实时需要底层操作系统吗？
通过阅读文档，我了解到Ada实时模块完全与操作系统隔离工作。它可以实现并发而不需要底层的操作系统和资源管理器。Ada处理任务分派、时间管理、任务状态转换、列表管理、任务优先级、锁定策略、调度策略、ISR、任务间通信等功能。 如果是这样的话，那么Ada实时模块就是一种实时操作系统？