ada 相关问题

Ada是一种结构化,静态类型,命令式,广谱和面向对象的高级计算机编程语言,从Pascal和其他语言扩展而来。

如何在Linux Centos 7上安装Gnatcoll Postgres

我已经安装了gprbuild,xmlada和gnatcoll。我现在正在尝试安装gnatcoll_postgres。我从这里下载下来的内容:https://github.com/AdaCore/gnatcoll-db/在Postgres文件夹中...

回答 1 投票 0

安装GNATCOLL SQL和POSTGRES-Centos7 Linux,不使用configure / make

到目前为止,我已经下载了GNAT GPS Community,并将其安装在我的Linux Centos 7计算机上。我的目标是能够完成以下两个在线示例:1:http://bisaga.com/blog/programming / ...

回答 1 投票 0

可以使用gprbuild打印枚举值的名称和表示吗?

我受命记录一些现有代码并显示多个数据结构的布局。 gnatr gprbuild选项-gnatR [0/1/2/3 [s]]生成rep(resentation)子句,显示布局...

回答 1 投票 -1

无法获得简单的Ada Iterator示例进行编译

我正在学习Ada,并且我试图使循环变得非常简单(使用Ada 2012中的新迭代器语法)。我看不到有什么问题... Ada.Text_IO;使用Ada.Text_IO;过程数组...

回答 1 投票 1

您如何使用Ada中的错误代码退出主过程?

似乎很简单,但是无法编译:过程Main是开始出口1;结束Main;使用gprbuild编译时,将产生:编译[Ada] main.adb main.adb:3:04:无法从...

ada
回答 3 投票 0

您如何使用Ada中的退出代码退出主过程?

似乎很简单,但是无法编译:过程Main是开始出口1;结束Main;使用gprbuild编译时,将产生:编译[Ada] main.adb main.adb:3:04:无法从...

ada
回答 2 投票 0

Ada中的导入实用程序:GNAT如何知道在哪里看?

我使用此编译指示从C导入getpid:函数Get_Process_ID return Process_ID;编译指示导入(C,Get_Process_ID,“ getpid”);我希望这会有点困难。要在C中使用getpid,我需要...

ada
回答 1 投票 0

如何获取Ada中的枚举值?

我受命记录一些现有代码并显示多个数据结构的布局。添加gprbuild选项-gnatR2s会生成rep(resentation)子句,这样我就可以看到布局...

回答 1 投票 0

如何使用Ada双向链表

我正在使用Ada编程语言进行学校项目。教授希望我们使用一种我们不熟悉的语言来编写。我需要使用Ada双链表来编写一个...

ada
回答 1 投票 1

-fdump-ada-spec:未声明“ FILE”

交叉发布,comp.lang.ada没有答案。我正在尝试为GSL(Gnu科学图书馆)的odeiv2包(常规微分方程)生成Ada绑定。因此,我执行以下2个步骤:...

ada
回答 2 投票 1

如何检测使用Ada语言按下的键盘按钮

我是Ada编程的初学者。我正在尝试使用Ada制作“ 2048”游戏。我在C ++中执行了“ 2048”,并使用了“ kbhit()”来检测是否有任何键盘按钮被按下。我想知道的是...

回答 1 投票 3

如何检测Ada语言的键盘击键

我和Ada编程的初学者。我正在尝试制作Ada的“ 2048”游戏。我在C ++中执行了“ 2048”,并使用了“ kbhit()”来检测是否按下了任何键盘。我想知道是否有任何类似的...

回答 1 投票 0

Ada-在过程中引发的可访问性检查

我以前问过一个有关Ada上进行的可访问性检查的问题,@ Brian Drummond对此很友善。可访问性检查在一个函数中,现在我有一个相似之处...

回答 1 投票 1

ADA-前后条件不起作用?

我正在尝试根据自己在ada之前和之后的条件进行学习。

回答 1 投票 1

Julia中的系统信号拦截

在Linux下运行的Julia程序中,当调整控制台窗口的大小时,我需要启动专门的操作。那么我如何才能在Julia中截获系统信号SIGWINCH(调整窗口大小)和...

回答 1 投票 6

Ada-进行了可访问性检查

我已经从Github下载了该程序:https://github.com/raph-amiard/ada-synth-lib我已经提出了第一个示例,但出现一个例外。如果有人可以给我一个...

回答 1 投票 0

在第一个空格处剪切字符串

我正在为Ada主程序制作自己的程序包。我读了一个字符串,后跟一个整数和另一个字符串,问题是我需要在第一个空格的符号处剪切第一个字符串。 ...

ada
回答 1 投票 2

Ada编译警告

带有Ada.Text_IO,Ada.Integer_Text_IO;使用Ada.Text_IO,Ada.Integer_Text_IO;过程factorial_ada为n,i:整数;输出:整数:= 1; begin Put_Line(“输入要输入的数字...

ada
回答 1 投票 2

Ada-处理子单元的gnatdoc问题

我正在尝试使用GNATdoc工具为我的Ada项目生成文档信息。 GNATdoc能够为所有软件包生成信息,但那些标记为子单元的软件包除外...()

回答 1 投票 0

在Ada中数组中最大

如何检查某个值是否是数组中的最大元素?这是Ada语言。我有找到最大元素的函数,它起作用了..现在我想运行一个后置条件...

回答 1 投票 -3

© www.soinside.com 2019 - 2024. All rights reserved.