Ada: "image"属性的前缀必须是一个类型

Question

我正在尝试使用 Ada 打印从 Natural 派生的类；但是，我不断收到错误消息，prefix of "image"attribute must be a type。谷歌显然对这个错误一无所知。

这里是产生这个错误的简化代码:

with Ada.Text_IO;
use Ada.Text_IO;
with Layout; use Layout;
procedure temptest is
   term : Terminator_ID;
   begin
      term := Layout.Block_GetOpposite (1, Layout.REVERSED);
   Put_Line (Item => term'Image);
   end temptest;

这是我的 Layout 包中 Terminator_ID 的定义:type Terminator_ID is new Natural range 1 .. 40;

导致此错误的原因是什么？正确的纠正方法是什么？

Answer 1

显然，将数字转换为字符串的语法是 Type_Name'Image(var_containing_value)。

我将我的代码更改为:

with Ada.Text_IO;
use Ada.Text_IO;
with Layout; use Layout;
procedure temptest is
   term : Terminator_ID;
   begin
      term := Layout.Block_GetOpposite (1, Layout.REVERSED);
   Put_Line (Item => Terminator_ID'Image (term));
   end temptest;

现在可以正常编译了。