gnat相关内容

如何绑定到 OpenCV 进行 GNAT?

谁能告诉我如何为 GNAT 查找或创建到 OpenCV 的绑定?我想用 Ada2005 用 OpenCV(1.0 或 2.X)实现一些程序，但我不知道怎么做.有人可以教我怎么做吗? 解决方案 教你如何创建一个复杂库的绑定超出了StackOverflow，但您可以从这个教程开始.然后研究相关的 GNAT 库源，例如Ada.Numerics 和其他 现有的 Ada 绑定.其中，Ada 2005 ..

发布时间：2022-01-04 15:51:32 opencv binding ada gnat 其他开发

使用 gnat 对“do_varargs"的未定义引用

编译后，当我尝试使用 win32ada 2017 和 GNAT 2017 构建我的 DLL 时，它发出错误: gnatlink -o -mdll -Wl,base-file,win32-winuser.o:win32-winuser.adb:(.text+0xa62): 对“do_varargs"的未定义引用win32-winuser.o:win32-winuser.adb:(.text+0x1 ..

发布时间：2021-10-26 16:39:44 ada gnat 其他开发

什么是“libgnarl"?

什么是libgnarl?我在不同的地方找到了对此的引用，比如在 gcc 源代码中或 gprbuild 的详细输出中.gprbuild 专门报告关于决定 libgnarl 是否是必要的，所以它显然是一个可选库，但实际的库是什么?我找不到任何关于它的文档.源代码包含一堆看起来像是属于标准库的包，但实际上不是(例如 Ada.Execution_Time.Timers)，所以很明显我遗漏了一些东西. ..

发布时间：2021-10-26 16:39:28 ada gnat 其他开发

Ada.Containers.Functional_Maps 在 Ada2012 中可用吗?

关于Ada.Containers.Functional_Maps 在 GNAT 文档中相当——比如说——深奥. 首先，它是这样说的: ……这些容器仍然可以安全使用. 在第二段中，在我看来，一旦程序退出创建它们的上下文，您就无法释放为这些对象分配的内存.我知道您可能会遇到内存泄漏.我说得对吗? 它们也会消耗内存，因为当容器不再被引用时，分配的内存不会被回收. 解决方案 ..

发布时间：2021-10-26 16:39:19 ada gnat 其他开发

GNAT 社区版中没有 GNATtest?

当我尝试在 GNAT 2020 社区版(Windows 10 64 位)中生成单元测试时，我收到有关缺少 gnattest 工具的错误:could not locate gnattest.在 Ubuntu 20.04(在 WSL 中)和包 gnat-10 上也会发生同样的情况:could not locate x86_64-linux-gnu-gnattest-10. GNATtest 是否 ..

发布时间：2021-10-26 16:39:16 ada gnat 其他开发

Ada 编程语言的 GUI

如何使用 Ada 编程语言制作/创建 GUI(图形用户界面)?有可能吗? 在 Python 中，你可以使用 tkinter 来制作一个窗体. 解决方案 我知道 Ada 的 5 个 GUI 框架(请参阅 一些很棒的 Ada 列表) GtkAda Gnavi 爪 Gnoga QtAda GtkAda 您可以从 AdaCore 免费获得.可以购买爪.我对 Gnavi 不 ..

发布时间：2021-10-26 16:38:56 ada gnat 其他开发

仅在 ISO 标准 Ada 中，记录表示子句 + 任何其他语言功能如何可移植到小端和大端处理器?

不使用非标准‡ Scalar_Storage_Order 子句GNAT 的版本，比如说，如何通过记录表示子句结合任何其他语言功能的任意组合来可移植地表示 IPv4 标头，以便“相同"的代码适用于小端和大端处理器，但会以 IETF 所谓的网络字节顺序(这是 IETF 对 big-endian 的花哨名称)在线路上发出(例如，通过以太网帧的有效载荷).在 C 中，“相同"的代码可以利用预处理器宏在小端 ..

发布时间：2021-10-26 16:38:32 standards ada iso gnat ada2012 其他开发

Mac OS的链接器问题

我最近在系统编程课程中开始将ada用于实验室，我可以说这真的很有趣. 我在计算机实验室进行了大部分测试，我决定在 MacBook 中安装编译器及其链接工具. 虽然安装已完成，但似乎没有问题，当我尝试打印经典的hello world程序时，我收到以下消息: gprbuild greet.adb使用项目文件/Users/xyderos/opt/GNAT/2020/share/gpr/_ ..

发布时间：2021-05-29 21:27:40 gcc linker linker-errors ada gnat 其他开发

“应对SPARK Ada中的挑战"； -后置条件下的Ghost函数具有意外行为

我正在SPARK Ada中编写一个软件，该软件需要后置条件来验证函数返回值等于数组的求和值.在证明该函数所在的文件后，我不断收到一个错误，该错误不会完全累加，也没有双关语(我将发布代码的屏幕快照，以便更好地查看).大小为10的数组中唯一允许的值为0s或1s. 解决方案 在下面的示例中(与其他答案相反 )，将将部分和计算出来的虚影函数分离到通用虚影包SPARK_Fold中.从这个包中，我使用 ..

发布时间：2020-08-10 20:54:01 ada gnat spark-ada high-integrity-systems 其他开发

更新GPS Community Edition 2019 IDE的编译器

我最近开始从事一个项目，要求我的编译器必须高于GNAT 4.8.5-当我进入:帮助>关于 您可以看到我使用的版本是4.8.5 另外，当我运行gnatls -v命令时，我可以看到这个... [parallels@localhost ~]$ gnatls -v GNATLS 4.8.5 20150623 (Red Hat 4.8.5-39) Copyright (C) 1997-2 ..

发布时间：2020-07-23 02:41:37 linux ada gnat gnat-gps 服务器开发

如何指定函数或过程，GNATTest应该自动生成一个测试用例

我正在开发一个巨大的代码包(主要以ada编写)，这是一个极端的混乱.到目前为止，尚未应用任何单元测试，并且对于所有现有代码，都不得实施单元测试.但是我们的团队决定，所有新代码都应与测试一起实施.在GPS中，可以让GNATtest自动为项目中的所有功能和程序生成测试程序.但是按照书面规定，我们必须从这种自动生成中排除所有旧代码. 是否可以将功能和过程标记为“需要测试"? 解决方案 您可 ..

发布时间：2020-07-23 02:41:32 ada gnat gnat-gps aunit 其他开发

错误：无法为文件random.ads生成代码（程序包规格）

我以某种方式无法在GPS中编译（不运行）我的Ada代码。我收到错误消息： 无法为文件random.ads生成代码（打包规范） gprbuild：***编译阶段失败 random.ads文件如下所示： 和Ada.Numerics.Float_Random; 使用Ada.Numerics.Float_Random; 包裹随机是 受保护的randomOut是 程 ..

发布时间：2020-06-01 20:23:36 ada gnat 其他开发

是什么导致此Ada编译错误“模糊字符文字”？

我有这个Ada代码。 和Ada.Text_IO; 使用Ada.Text_IO; $ _b $ b程序for_Loop是 开始 表示“ A”中的Counter。’Z”循环 Put（Counter）; 结束循环； New_Line; 结尾for_Loop; Ada编译器（gnatmake）输出这些错误消息。 gcc -c for_loop.adb ..

发布时间：2020-06-01 20:23:33 ada gnat 其他开发

gnatbind：找不到：s-stalib.ali

我通过以下步骤在OS X 10.8.5计算机上安装了GNAT： 从 http://libre.adacore.com/download/configurations 安装方式为 ./ doinstall ，接受所有默认选项 添加了 / usr / local / gnat / bin 到 $ PATH 你好世界示例我得到这个错误： $ gnat make hello g ..

发布时间：2020-06-01 20:23:31 macos osx-mountain-lion ada gnat 其他开发

常量的两个副本出现在已编译的Elf中

我们基本上使用sparc架构，我们的语言是Ada，我们使用gnat编译器来编译我们的代码。 我们观察到一些有趣的事情。 我们代码中的某些常量有两个或多个副本。 file.adb： 使用FileConsts； USE FileConsts 过程SomeProcedure是 A：LONG_FLOAT; 开始 A：= cSomeConstant; End SomeProc ..

发布时间：2020-06-01 20:23:18 gcc constants ada sparc gnat 其他开发

学习简单的Ada，在OS X中出现GNAT编译错误

全力以赴！ 很高兴在这里找到我的方式，希望能在新的特许经营领域获得一些指导。我想学习Ada，所以我已经安装了EMACS和GNAT。我使用的是Mac，因此全部用于OS X。 问题是，即使我编写了最简单的Ada程序并保存了它们，在gcc之后我也会遇到gnatmake编译错误-c在bash中。这是教科书中的示例，因此我的代码没有错，让我相信它是我设置GNAT的方式。 更新：这就是bas ..

发布时间：2020-06-01 20:23:12 macos compilation ada gnat 其他开发

如何在Linux Centos 7上安装Gnatcoll Postgres

我已经安装了gprbuild，xmlada和gnatcoll。我现在正在尝试安装gnatcoll_postgres。我从这里贬低了它： https://github.com/AdaCore/gnatcoll-db/ 在Postgres文件夹中是一个Makefile，我可以像这样执行... [parallels @ localhost postgres] $ ls gnatcoll ..

发布时间：2020-06-01 20:23:02 linux postgresql centos7 ada gnat 服务器开发

Ada-提出了可访问性检查

我已从Github下载此程序： https://github.com/raph -amiard / ada-synth-lib 我已经提出了第一个示例，但出现一个例外。如果有人能够让我了解为什么会这样，将不胜感激。我已经为此困扰了很长时间，我真的很想让这个工作正常。 我收到的错误是： raised PROGRAM_ERROR：wave.adb：110可访问性检查失败 这是主文件： ..

发布时间：2020-06-01 20:22:41 ada gnat ada2012 ada95 其他开发

读取包含“ [”的文件时出现CONSTRAINT_ERROR

我正在阅读一个简单的文本文件。一切正常，但遇到方括号（“ [”）字符时除外。然后我得到一个CONSTRAINT_ERROR。 我的函数是： - --------------------------------------------- - -GET_FILE_CONTENTS 函数Get_File_Contents（文件名：in String） 返回String_Array为 -将 ..

发布时间：2020-06-01 20:22:30 ada gnat 其他开发

列出Gnat中未使用的文件

我在GNAT中有一个项目，我想列出所有从未使用过的文件。我正在考虑使用python脚本执行此操作，但是，使用GNAT可以轻松做到这一点吗？ 更新： 我发现了有关gnatelim的信息，但尽管在帮助中它说有-P选项 用法：gnatelim [选项] -main = main_unit_name {文件名} [-cargs gcc_switches] 选项： --versio ..

发布时间：2020-06-01 20:22:06 ada gnat 其他开发