错误:无法生成文件random.ads的代码(包规范)

时间:2016-05-07 12:53:49

标签: ada gnat

我无法在GPS中编译(不运行)我的Ada代码。我收到一个错误:

cannot generate code for file random.ads (package spec)
gprbuild: *** compilation phase failed

random.ads文件如下所示:

with Ada.Numerics.Float_Random;
use Ada.Numerics.Float_Random;
package random is

   protected randomOut is
      procedure Inicializal;
      entry Parcel(
                randomout: out Positive;
                from: in Positive;
                to: in Positive := 1
               );
   private
      G: Generator;
      Inicializalt: Boolean := False;
   end randomOut;

   task print is
      entry write(what: in String);
   end print;

end random;

.gpr文件如下所示:

project Default is
   package Compiler is
      for Default_Switches ("ada") use ("-g", "-O2");
   end Compiler;

   for Main use ("hunting.adb");

end Default;

这是什么意思?我该如何解决?谢谢!

2 个答案:

答案 0 :(得分:5)

您无法为包规范生成代码。

这是正常的和预期的。

你可以编译包体,random.adb,并为它生成代码 - 但通常没有必要。

只需编译您的主程序,(或者如果您进行单元测试,则编译您的测试工具)并让编译器找到所有依赖项。

(如果不能,你要么还没有写好,要么看错了。如果你需要帮助,请在问题中添加相关信息。)

答案 1 :(得分:-2)

问题是由

引起的
   task print is
      entry write(what: in String);
   end print;

由于任何任务都被指定为正文,编译器无法确定:它有一个必须在spec文件中编译的正文,而不是。将任务移动到.adb文件解决了这个问题。