在SPARK Ada中实例化非库级别的包

文章/答案/技术大牛

发布

2回答

ada、spark-ada、spark-2014

如何在SPARK Ada中实例化非库级别的包？假设我有这样的东西：package Random_Die new Ada.Numerics.Discrete_Random(Die);instantiation error at a-nudira.ads.45 incorrect placement of "<e

浏览 21提问于2017-06-30得票数 1

1回答

如何证明嵌入在双循环中的函数的Ada/ loop先决条件

ada、doubly-linked-list、proofs、spark-2014

我试图证明，在执行下面的程序时，“预付”的前提条件是有效的。先决条件是：我试图在下面的代码中以语用的形式证明这一点。规格： package spec with SPARK_ModeIllumination_Sources_Pkg.List(MAX_ILLUMINATION_SOURC

浏览 5提问于2017-11-12得票数 2

回答已采纳

1回答

仅在ada83中打印整数，而不在Ada95中打印

ada

我正在尝试在Ada83 .All中打印一个整数网站有关于Ada95打印方式的信息，即Integer_Text_IO.Put (C)；但这不能在Ada83中编译。如何在Ada83中打印整数(这是课程要求)？

浏览 1提问于2014-04-24得票数 0

4回答

在Ada-2005中模拟六面冲模

ada

我在Java、Python、Ruby和Bash中非常明确地遇到过“模拟六面骰子”(它产生一个介于1和6之间的随机整数，所有结果的概率都是相等的)。然而，我还没有在Ada中看到类似的程序。

浏览 0提问于2010-03-09得票数 2

回答已采纳

1回答

GVD:非可执行格式:文件格式不可识别

file-format、ada、executable-format

我在XP虚拟机上运行1.2.6，试图打开一个Ada文件(.adb)，但始终得到以下错误：知道为什么会这样吗？

浏览 1提问于2010-09-16得票数 3

回答已采纳

2回答

如何在C++模板延迟中声明函数

c++、templates、ada、template-meta-programming、generic-programming

在Ada中，我可以定义以下通用(相当于C++模板)：With function Sum( .. ) return booleanEnd package稍后，可以按如下方式实例化泛型换句话说，我可以创建一个Ada通用包，它需要一个函数来实例化它，现在我如何在C++中</em

浏览 2提问于2018-04-13得票数 1

1回答

如何从泛型包实例化记录

ada

我创建了一个通用日期包：GENERIC TYPE MonthName IS (January, February, March, April,Year: Integer;END Date;WITH Ada.Text_IO; PACKAGE MonthNameIO I

浏览 2提问于2014-02-17得票数 1

回答已采纳

2回答

Ada泛型子实例化声称需要它自己

generics、ada

Right : T) return Boolean is <>;我正在尝试用一个有趣的问题在另一个包中实例化它们Generics.Testing.Assertions( Wide_Wide_Image => Integer'Wide_Wide_Image); 奇怪的是，当我尝试实例化这个子包时我已经有一段时

浏览 1提问于2019-05-09得票数 0

1回答

Gnat (ada95)被使用我的包的错误"... is not visible“所混淆

ada

我是一个Ada菜鸟，被这个错误消息搞糊涂了： $ gnat make list_test.adblist_test.adb我正在尝试编写一个带有泛型负载的链表，以自学Ada。我写了一个类似布局的二叉树(除了泛型)，它没有显示这个错误。The .ads with Ada.Unchecked_Deallocation; type Payload_Type is private; package Linked_List( List_Nod

浏览 17提问于2019-07-02得票数 0

回答已采纳

1回答

在Ada中，为什么没有用泛型父类实例化一个子实例，为什么我必须使它也是泛型的呢？

generics、package、instance、ada

我有一个带有通用接口的父包。我现在想要创建这个接口的几个实现，每个实现都在一个不同的文件中。我想我可以简单地让这些包到包含接口的包中，实例化泛型，然后直接访问子包，但是这给了我一个错误，即子包也必须是泛型的。Impl; Value : T) is This.Data := Value;tester.adb: with Ada

浏览 1提问于2021-01-05得票数 4

回答已采纳

1回答

Ada通用链接列表和通用包访问

nodes、ada、singly-linked-list

我试图从泛型节点类中构建Ada中的泛型链接列表。但是，我无法访问链接列表中节点的类型和形式参数，尽管使用了with子句并相应地进行了前缀。

浏览 1提问于2020-12-29得票数 3

回答已采纳

2回答

用Taylor级数计算Ada* sin(x)*

ada、trigonometry

我是Ada的绝对初学者，我现在正试图用Taylor级数来计算sin(x) sin(3)，但我就是不能让它工作。下面是我的程序：with Mat; X:Float:=3.0; end loop; Ada.Float_Text_IO.

浏览 4提问于2013-02-28得票数 4

回答已采纳

2回答

Nuget包在项目之间的依赖关系

c#、asp.net、nuget

假设我有两个类库。我应该通过浏览项目A并指出dll来简单地添加对包的引用吗？还是还有别的选择？

浏览 10提问于2017-01-26得票数 1

回答已采纳

2回答

带有Get的Ada歧义表达式

generics、ada、io-redirection

with Ada.Text_IO;with Ada.Float_Text_IO;with CreateList; package FloatIO is newAda.Text_IO.Float_IO(Float); use Fl

浏览 2提问于2020-10-01得票数 2

回答已采纳

1回答

您将如何编写在任何类型元素的doubly_linked_lists上操作的Ada泛型函数？

generics、ada

，而数组的边界仍然由特定的实例化来改变。尝试1-实例化doubly_linked_list包的一般过程 genericint_dll_type is new int_dll.List;end shufit; 该方法将无法工作，因为我们无法在泛型部分<e

浏览 3提问于2019-10-02得票数 2

回答已采纳

1回答

火花放电中的加载数据库csv库

csv、apache-spark、pyspark、google-cloud-dataproc

我尝试加载databricks csv库(参见。)，在我用Google创建的星火集群上。所有这些都使用PySpark。我启动PySpark并输入：但我得到了这样的答案：Add

浏览 1提问于2015-10-27得票数 1

回答已采纳

2回答

编译器检测任务之间的争用条件

ada

然后，我们推测变量在末尾(20)的最大值和它的最小值(我们通常在使用正式的证明来证明它可以是2之前，先确定10 )。我演示的一件事是，程序的C版本编译(危险)，但Rust版本不编译(很好！)今天，我写了Ada版本，有两个惊喜，我会征求意见。我理解星星之火不能处理任务，所以Ada不会产生任何警告，在代码中我有潜在的危险的竞赛条件。这让我惊讶于像Ada这样的语言。我错过了一个聪明的编译器或运行时选项吗？我运行了Ada程序(超过500,000次)，只得到了10和20的值(其

浏览 3提问于2020-11-26得票数 7

2回答

增加存储库实例作用域的利弊？

c#、asp.net、performance

我很好奇将方法中的对象实例的作用域增加到类级别的利弊是什么。作为一个具体的示例，我有一个非静态服务类，它包装了对存储库类的访问，该存储库类用于管理CRUD活动以及一些不一定与其他业务逻辑很好地混合的其他任务。在我构建它的过程中，每个方法都会创建它自己的存储库实例。假设平均流量(不是很大)，我想知道在服务类的构造函数中创建此存储库的类级实例

浏览 2提问于2009-03-19得票数 0

回答已采纳

1回答

不出口使用实用主义公约

export、ada、conventions

我需要用Lua的Ada图书馆。我想使用一个通用包，它和其他数据一起包含一个函数，它将根据数据在Lua中注册不同的名称。据我所理解，我应该将这个函数声明为"with Export，Convention => C"，但是当实例化此类包的几个实例时，库将包含几个名称相同的函数，并且不会编译。在这种情况下，是否可以不使用“导出”，而只使用“=> C"，因为在Lua注册时只使用函数引用？

浏览 1提问于2021-04-30得票数 4

回答已采纳

2回答

Ada中的数据类型和结构

ada

我正在写一篇关于Ada 83的论文。我们有一个作业，列出了论文的各个部分(历史、设计目标、语法等)，教师提到，我们中的一些人会有简单地说“这种语言不支持这个功能”的部分。好吧，我所看到的一切都表明Ada只有数据类型，没有数据结构。这是真的吗，还是我漏掉了什么？我知道这是一个有点奇怪的问题(问1983年版的Ada)，但我不想在没有发现它是假的情况下做出这么大的声明。

浏览 2提问于2012-10-27得票数 4

点击加载更多