ada

3热度

1回答

GNAT GPL 2017 gnatcoll.xref消失了吗？

我想升级到GNAT GPL 2017（从2016年开始）。我在Windows 8.1上运行。一个应用程序使用gnatcoll.xref。在2016年，在已经找到：蚊蚋/包括/ gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref.ads 然而，该文件未在2017年安装找到。请注意，2017年的'gnat -...- bin.exe'安装程序包含gnatc

2热度

1回答

Ada：公开部分和私人部分规格是分开的吗？

我了解到，在Ada规范文件（* .ads）中存在公共部分和私有部分，只有公共部分应该被视为编译单元（通常是包）的用户。实际上通常不同的文件中将规范的公共部分和私有部分分开？因此，最终，这样的包的用户知道规范层上的包的内部但不能使用它。我在这里吗？感谢和欢呼声，沃尔夫冈

0热度

1回答

Ada库初始化/细化和GPR指令：找不到细化符号

我正在尝试为iOS生成Ada库。但是，需要手动执行Ada详细说明。我知道编译器可以产生一个init符号，可以在以后导入和使用。但是，通过以下GPR定义，不会生成（nm命令不会列出它）。命名应该是对应于GPR指令Library_Name 的探地雷达在以下方式定义中定义的值<libname>init与<libname>（这个是windows /风格 - 见DLL提述─，但存在的问题也适用于当在Ma

1热度

2回答

在SPARK Ada中实例化非库级软件包

如何在SPARK Ada中实例化非库级软件包？说我有这样的： subtype Die is Integer range 1..6; package Random_Die is new Ada.Numerics.Discrete_Random(Die); 这给了我的错误： instantiation error at a-nudira.ads.45 incorrect plac

2热度

1回答

如何在Raspberry PI 3（Raspbian）上运行GNAT编程工作室？

我无法在Raspberry PI 3（Raspbian）上运行GNAT编程工作室。我使用2017-06-21-raspbian-jessie.img和gnat-gpl-2016-raspberrypi-linux-linux-bin.tar.gz 它安装在/usr/gnat解压，然后输入端子sudo ./doinstall后。然后我收到一条消息，说 GNAT GPL is now install

1热度

1回答

Ada中的=和=>有什么区别？

据我所知，:=似乎通过复制进行分配。运算符=>似乎执行了类似的分配，但在将参数分配给对象的成员变量时使用。所以...... receivesTheCopy := isBeingCopied memberVariable => passedParameter 我正在别人的旧代码，我有一个变量达到一个值，我从来没有看到明确分配给它:=。我认为也许是当它被分配到memberVariable与=>它通过

1热度

2回答

Ada，引发CONSTRAINT_ERROR：“Value：”输入错误。“

我无法获得以下脚本来返回我的输入值;我查阅了ARM以及John Barnes的书，但无济于事。理论上它应该起作用。任何人都知道为什么？我是一个新手，所以巴恩斯的书和ARM可能对我来说太高级了。 with Ada.Text_IO; use Ada.Text_IO; procedure ron is A : Character; begin Put_Line ("Hi Ron,

0热度

2回答

在Ada中，我如何递归映射和内存管理自己的类型

我一直在努力解决这个小问题一段时间。我试图创建我自己的内部JSON结构的实现。面临的挑战是，对于Ada，我必须使用访问类型来递归，如果我没有严格控制，访问类型有泄漏的风险。为了控制它，我将所有真正的活动保留为私有，我为节点类型提供了Get (Source:...)和Set (Target:...; Value:...)函数/过程，它们将尝试验证和处理任何现有的Vector（json-array）或

0热度

1回答

Ada软件的文档工具

简介：我正在寻找某种工具来根据现有软件源代码中的注释生成软件描述。详细信息：我已经有用Ada编写的现有源代码。需要对源代码进行更改，并且还需要生成一个文档，其中包含整个软件及其所有软件包，例程等的描述（如果可能，则为PDF）。对于现有的例程，这些源代码注释已经存在并且包含足够的细节以满足我的需求。该说明应包括至少整体软件设计的软件包，例行程序，变量，常量等通话和来电图对于基于项目的文字

0热度

2回答

Ada：将访问转换为常量以访问变量

将访问转换为常量以访问变量的正确方法是什么？（是的，我知道那么我需要小心不要修改这个 “变量”。）也许Unchecked_Conversion？但是：是Unchecked_Conversion的标准保证在这种情况下，很好地工作？有没有比Unchecked_Conversion更简单的方法？