作为GCC(GNU编译器集合,包括GNU C编译器)的一部分的GNU Ada编译器。此标记包括各种版本的GNAT(由AdaCore发布的GPL,与gcc发行版一起提供的FSF,或Pro)
Ada - 如何从 GNAT Pro Studio 生成包变量列表?
我想使用 GPS Ada 项目中的外部参照信息来生成为每个包规范和主体定义的变量列表。我需要排除子程序内部定义的任何变量...
如何用Ada编程语言制作/创建GUI(图形用户界面)?有可能的? 在Python中,您可以使用tkinter制作窗口窗体。
无法断言 libsparkcrypto SHA256 结果相等
我的问题总结 我正在使用 libsparkcrypto 库来实现 SHA256 函数。我发现我无法断言 x = y 意味着 Sha256(x) = Sha256(y)。任何帮助将不胜感激。 ...
我正在使用 GNAT 构建我的 Ada/SPARK 项目,并且正在使用链接器脚本。以下是摘录: 部分 { 。代码 : { 。 =对齐(0x4); *(.text.section1) _教派结束...
Ada/SPARK:我应该使用 GNATprove 吗?哪里可以找到?
在 Learning Ada 的第 22.1 章中,尝试构建示例。 它期望安装 GNATprove。我使用的是 Ubuntu 18.04 LTS,但没有看到任何提供它的软件包。当我尝试...
我正在使用 Xcode 4.5.1 和命令行工具运行 Mac OS X v10.8 (Mountain Lion)。 我刚刚从这里安装了 GNAT 2012。 我使用本教程安装了它: 导航到目录
如何在 Mac 上安装 Gnat Planning Studio (GPS)?
我设法在 OSx 10.6.8 上从 libre.adacore.com 安装 gnat 编译器。我还想安装 Gnat Planning Studio (GPS) 环境。我尝试了不同的方法,但没有一个......
如何在 Mac (OS X) 上安装 ADA IDE 和编译器?
我下载了 GNAT ADA GPL 2014,现在正在尝试在我的 Mac 上安装。 下面的说明是我遵循的说明,但是在哪里可以找到名为 doinstall 的文件? 导航到目录...
我下载了 GNAT ADA GPL 2014,现在正在尝试在我的 Mac 上安装。 下面的说明是我遵循的说明,但是我在哪里可以找到名为 doinstall 的文件? 导航到目录...
我已经安装了 GNAT Planning Studio (GPS) 和 GtkAda。它们似乎都工作正常,但是当我尝试在“从模板新建项目”下构建“简单窗口”项目时,我得到了一堆......
为什么以下代码失败? 我故意选择了Characters.Latin_1.Reserved_128。 -- 文件“print_non_graphic_character.adb” 与 Ada.Characters.Latin_1; 与 Ada.Text_IO; 与 Ada.Strings。
我正在尝试在 Ada 项目文件上运行 gnattest: gnattest -P(项目名称) 我收到以下错误: 找不到运行时本机的对象路径 gnattest:初始化失败 我确定了
我必须使用使用 xerces-c 的 C++ 库。然后我有一个 Ada 项目,它从前面提到的 C++ 库导入两个符号。当我尝试构建 Ada 项目的主要部分时,一个面包......
在java中我有时会使用这个方法来查看我在当前堆栈中的位置: http://download.oracle.com/javase/1.5.0/docs/api/java/lang/Thread.html#dumpStack() 我是 Ada 世界的新手,但我...
亲爱的 Ada 爱好者, Long_Money_Type 类型是 delta 10.0**(-22) 位数字 38; 在第一台机器 Ubuntu Linux 64 位 GNAT 8.3.0 上,此方法有效。 在第二台机器上 Alpine Linux 64 位 GNAT 10.3.1 202...
我正在编程课上学习 Ada 95,我想在我的 MacBook 上安装 gnat 编译器。我不知道在哪里可以得到一个好的小昆虫来编译我的代码,以及如何安装它。 我
为 Gnatstudio 执行 ./configure 时,我收到以下错误。我已经搜索了与此相关的参考资料,但找不到与之相关的任何内容。 Gprconfig 已配置无
尝试在 Debian 上执行“alr get gnat_native”和“alr get gprbuild”时出现错误“错误:在索引中找不到 index.toml 文件”
我收到错误消息:当我尝试在 Debian 上使用 alr get gnat_native 和 alr get gprbuild 时,在索引中找不到 index.toml 文件。我确保安装了 Alire,通过使用 'alr' c ...
我想将 HTML 响应状态代码数字定义为一种类型,但不允许使用算术运算符,因为这对他们来说没有意义。 类型 Status_Code 的范围是 100 .. 599; 函数“+...