1回答
我刚刚开始学习ADA和gnat是如何工作的，当涉及到精化代码时，有一些事情我是不理解的。我已经看到了几个这样写的例子：E003 : Short_Integer; pragma Import (Ada, E003, "XXX_E")，其中"XXX"通常是包的名称。我在代码中搜索XXX_E符号，但没有找到。因此，我假设它是由gnat以某种方式生成的？！(或者我错了
浏览 0提问于2018-01-12得票数 0
我有一个可以正确编译的Ada项目。因为我是一个好奇心很强的人，所以我决定将我的对象文件转储。令我惊讶的是，我所有的Ada对象在.data段中都有一个单词。所有的都有相同的名字，objectname_E。有人建议这是一个精化标志？对吗？ ALLOC
00000000 g O .data 00000001 watchdog_driver_E
浏览 0提问于2011-06-23得票数 1
回答已采纳
我对检测到的精化循环有一些问题。我几乎可以肯定所有的源代码都是用-gnatE编译的。 为了进一步研究这一点，我想在ada lib目录中检查一个文件是使用静态还是动态精化进行编译的。
浏览 12提问于2019-09-04得票数 4
回答已采纳
:-)greeter.ads procedure Hello;greeter.adbpackage body Greeter is begin0000000000201038 A _end000
浏览 2提问于2013-01-18得票数 11
回答已采纳
2回答
我想知道在使用Ada代码时，绑定和链接之间的根本区别是什么？我在google上找不到一个很好的解释，这就是为什么我会问这个问题。
对于绑定过程，输入是什么，输出是什么？绑定和链接之间的关系是什么？
浏览 0提问于2018-06-01得票数 5
我需要用一堆用Ada编写的代码构建一个静态库，这些代码可以从用C/C++编写的代码中调用。
浏览 7提问于2016-11-29得票数 6
回答已采纳
我正在从Linux中的Java应用程序调用Ada代码。Ada代码驻留在具有C-api的动态库(共享库)中。
从Java works链接.so。同样地，在.so中调用C函数，并进一步调用Ada代码。对Ada的调用运行良好，但Ada似乎没有(辅助)堆栈。我知道必须调用adainit()，无论是自动的还是手动的。我已经尝试了很多绑定器的开关，但没有成功，它不会生成一个包含精化基础代码的'b-*‘
浏览 18提问于2021-02-24得票数 1
泛型“实例化”究竟是什么？它是在编译时发生还是在运行时发生？我发现很难从Ada那里得到一个明确的答案。“实例化”或“实例化”没有术语表条目(附件N)。我能找到的最接近的是第12.2段(一般机构)第2段在“动态语义学”下的这一表述：
泛型体的精化除了确定从那时起
浏览 3提问于2012-03-09得票数 7
我习惯于从C代码中获得很好的清单文件，在C代码中我可以看到可爱的源代码，其中包含用于调试的操作码和十六进制偏移量，如下所示: List File In C (.LST) 对要发送的GNAT编译器开关有什么想法吗？
浏览 6提问于2020-08-21得票数 1
2回答
当对某些模板显式地专门化tuple_size和tuple_element时，我意识到第14.5.1/4节，它读取
在类模板的重声明、部分专门化、显式专门化或显式实例化中，类键应与原始类模板声明 (7.1.6.3
浏览 3提问于2015-08-22得票数 4
回答已采纳
3回答
我有一种不寻常的情况:精化代码根本不被执行。这不是一个详细说明的问题，而是一个详尽的问题。end Finder;with Ada</
浏览 1提问于2019-02-20得票数 2
回答已采纳
1回答
我正在尝试为iOS生成一个Ada库。然而，有必要手动执行Ada精化。project adalib is
for Languages use ("Ada
浏览 9提问于2017-06-29得票数 0
回答已采纳
我有一个文件构建，并在ADA (一个简单的Hello world)中正确编译。我想使用任务生成器从c++执行文件.o。为了做到这一点，我读到你必须在c++中声明类似这样的东西：
taskSpawn(mainTaskName, priority, spawnFlags
浏览 2提问于2018-11-13得票数 0
导入时，带有gnat的DLL生成中的初始化代码不会自动运行。但是，由于未执行text_io，所以导入dll时不运行init代码。另一方面，如果我将AdaInit过程添加到代码中，在编译时会得到如下内容：非常感谢!
浏览 3提问于2016-11-23得票数 1
回答已采纳
3回答
我正在尝试创建一个完全托管在Eclipse中、以C++启动并调用Ada的程序。我已经加载了GNATBench，并且可以运行Ada程序，没有问题。我不能做的是让一个C++项目调用一个Ada项目。在搜索之后，我找到并使用make文件执行了下面所示的代码。
CPP代码：
#include extern "
浏览 3提问于2012-04-16得票数 3
回答已采纳
根据的说法
如果两种复式的成分序列成对等价，且顺序相同，则两种复合类型是等价的，它们的精化程度相等。如果两个精化器绑定相同的名称，并且每个声明的实体的修饰符、类型和边界在这两个精化中都是等价的，则它们是等价的。
浏览 4提问于2015-08-18得票数 6
回答已采纳
3回答
唯一的问题是，小虫显然大多是用Ada写的，我似乎找不到关于如何在任何地方安装它的指南。提前感谢！
浏览 3提问于2011-11-28得票数 6
回答已采纳
如果您查看，就会发现一个不一致的地方，即将实现者描述为一个私有变量，但是所附的Java代码示例将其作为非私有变量，并且精炼的抽象使用它，如下代码片段所示： public void draw() { }
drawingAPI是实现者，可以从精化的抽象中访问同样在同一个维基百科条目中，图暗示精化抽象只
浏览 5提问于2013-07-16得票数 1
这是一个系统verilog文件.The，下面的代码在运行时给出了一个错误“用于常量表达式的非法操作数”在"if(m_val !==0)和if(div_val)“处。对代码有什么问题有什么帮助吗？
浏览 5提问于2022-08-06得票数 0
回答已采纳
2回答
Ada记录的缺失特征
、、、、
: Name(AssignName)};
{}Dinner(Person0);type Person is record
恒定场
浏览 3提问于2014-12-09得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
