1

我是一个 Ada 菜鸟，正在编写一个简单的函数，它采用整数列表并将每个元素递减 1。我的青铜模式证明通过了，但尝试在 main 中实际使用该函数以查看它是否真的在做它应该证明是一场斗争。我不确定如何初始化数组并分配值（应该是 0..10）。我也不确定我是否可以只用一个递减函数而不是递减（整数）和递减列表（ArrayOfNumbers）函数来实现这一点。或者，如果我做得对。任何帮助都是王牌，我没有找到任何好的文档，所以我觉得我应该猜测我的方式。这个包被称为flip_coin，因为它是早期任务的一部分，任何与翻转硬币有关的事情都可以忽略！

这是规范文件：

package flip_coin with SPARK_Mode is

    type Coin is (Heads, Tails);

    type Index is range 0 .. 10;
  
    type Numbers is array (Index) of Integer;

    function flip (x : Coin) return Coin with
 
     Post => flip'Result /= x;

    procedure flipCoin (x : in out Coin);

    function decrement (i : Integer) return Integer;
    
    procedure decrementList (n : in out Numbers);

 end flip_coin;

这是正文文件：

package body flip_coin with SPARK_Mode is

    function flip (x : Coin) return Coin
    is
      begin
        if x = Heads then return Tails; else return Heads; end if;
    end flip;

    procedure flipCoin (x : in out Coin)
    is
    begin
      x := flip(x);
   end flipCoin;

   function decrement (i : Integer) return Integer
   is
   begin
      return i-1;
   end decrement;

   procedure decrementList (n : in out Numbers) is

      a : Index := n'First;
      b : Index := n'Last;
   begin
      for i in a..b loop
         n(i) := decrement(n(i));
      end loop;
   end decrementList;



end flip_coin;

这是主文件：

with flip_coin; use flip_coin;
with Ada.Text_IO; use Ada.Text_IO;

procedure Main is
   newCoin : Coin := Heads;
   numbers : Numbers := (0,1,2,3,4,5,6,7,8,9,10);
 begin
   Put_Line("Element 9, before decrement:");
   Put_Line(numbers(9)'Image);
   decrementList(numbers);
   Put_Line("Element 9, after decrement:");
   Put_Line(numbers(9)'Image);
   Put_Line("Coin before flip:");
   Put_Line(newCoin'Image);
   flipCoin(newCoin);
   Put_Line("Coin after flip:");
   Put_Line(newCoin'Image);
end Main;

这是我尝试运行时的错误：

main.adb:6:14: object "Numbers" cannot be used before end of its declaration

任何帮助再次非常感谢。TIA

4

2 回答 2

4

Ada 是不区分大小写的语言。因此，数字和数字是相同的。如何将数字更改为 numbers_array。

于 2021-04-12T21:10:06.093 回答
4

这是一个可见性问题，也是初学者应该避免的原因use <package>。了解可见性是了解 Ada 的关键。避免 use-package 子句让您考虑可见性并帮助您理解它。

您有 2 个名为 的事物Numbers，全名为Flip_Coin.Numbers和Main.Numbers。在Main中，本地名称从中Numbers隐藏使用可见。它仍然可以引用为.NumbersFlip_CoinFlip_Coin.Numbers

Ada 中对可见性的最佳介绍是Ada Distilled。

于 2021-04-13T06:32:30.927 回答