我的Ada程序有一个错误,我被困在这里了。有很多代码,我不想在这里复制所有的代码,所以我希望我分享的部分是问题的来源。Numer: out Integer);
package Losowa_Produkcja is new
Ada.Numerics.Discrete_Random,当我想调用条目Buffer.Zamow(Index_Jedzenia, Nr_Produkcji_Jedzenia, Zatwierdzono); (在任
range 0..100000; n2: randRange; package Rand_Int is new ada.numerics.discrete_randomn1 := random(gen) mod n; -- first node我想用数组的长度来定义范围,但我遇到了错误declaration at a-nudira.ads:50, instance at line 73
75:15:
我在找风格指导。在Python中,异常被用作“正常”操作: z = x/y z = 73.0 # set z if y is zeroJohn Barnes在Ada中的"Programming in Ada 2012“中对这种方法进行了说明: Tomorrow := Day'Succ(Today);
exception我
我刚刚开始学习Ada,当用户输入超出了声明的变量范围时,我不知道如何保持程序运行。我想打印有关不良输入范围的信息,然后再次要求用户输入。这是我的简单代码:use Ada.Text_IO;
type Score is range 0..100;Score'Image (a)); Put_Line ("Bad range of input");end Main;
假设我有一个过程,我只想通过另一个特定的过程调用它。是否可以对该过程进行强制限制,使其只能由指定的调用过程引用?我真正想知道的是,是否有另一种方法来编写代码,这样你就不必在过程中嵌套/嵌入过程,从而强制限定范围。procedure one begin end two;end one;
编辑:这是Ada Code btw的。
我目前在大学的实时编程语言课程中学习Ada,有一个关于SPARK的问题。
我正在做一个项目,任务是监控离网电源。这项任务对机器安全至关重要,因此应该尽可能没有错误,比如使用SPARK进行验证。我能够在stackoverflow上运行一些其他问题,但我仍然遇到了一些错误,我无法通过用户指南中的快速搜索来修复这些错误。错误是引用中的行if monitoring_interface.is_all_config_set then ...的ca