PROSAGA码农传奇-Ada-运行.adb程序时“无法生成文件random.ads的代码”

0# نسر الصحراء | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”>
  
    首先，那些不是项目文件，它们具有类型
     <code>
 .gpr
 </code>
    ;它们是项目中的Ada源文件。
  
  
    您的
     <code>
 types.ads
 </code>
     许诺
     <code>
 function trans
 </code>
    ，这意味着它需要一个包体
     <code>
 types.adb
 </code>
    ，
  
   <pre class="lang-ada prettyprint-override">
 <code>
 package body types is
 function trans(val : Character) 
 return T_valeurind is
 ret: Integer;
 begin 
 case val is
 when '3' => ret:=3;
 when '4' => ret:=4;
 when '5' => ret:=5;
 when '6' => ret:=6;
 when '7' => ret:=7;
 when '8' => ret:=8;
 when '9' => ret:=9;
 when 'T' => ret:=10;
 when 'J' => ret:=11;
 when 'Q' => ret:=12;
 when 'K' => ret:=13;
 when 'A' => ret:=14;
 when others => null;
 end case;
 return ret;
 end trans;
end types;

</code>
 </pre>
  
    （嗯。如果你传入一个无效的字符，你会返回未初始化的数据，就像没有得到一个
     <code>
 Constraint_Error
 </code>
    ;
     <code>
 T_valeurind
 </code>
     包括值2，你不应该覆盖吗？）
  
  
    您的
     <code>
 trans.adb
 </code>
     而是指定库级函数。
  
  <BLOCKQUOTE>
    
      当我在GPS中构建文件时，一切正常。但是当我想运行它们时，我有以下消息，并且没有执行：
    
  </BLOCKQUOTE>
  
    如果包装规格（
     <code>
 types.ads
 </code>
    ）需要一个身体（
     <code>
 types.adb
 </code>
    并且您没有提供它，编译器将在您尝试编译时生成您报告的消息。如果你试着
    
      编
    
     <code>
 test.adb
 </code>
     一切都会安好的。如果你试着
    
      建立
    
     <code>
 test.adb
 </code>
     它会尝试编译包
     <code>
 Types
 </code>
     并且无论你是否正在尝试构建或构建＆amp;跑。
  
  
    我不知道这是如何第一次工作的！
  
</DIV>

1# 故人 | 2019-08-31 10-32

2# 不丶离 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”>
  
    使用强大的Ada枚举功能（以及一些糟糕的输入处理策略，例如异常），首先可以避免您的整个问题。您的
     <code>
 trans
 </code>
     程序没用。
  
  
    如果您对枚举值的顺序关系感兴趣，也可以使用Ada
    的
       <code>
 'First
 </code>
      *
    </强>
     （第一个枚举文字），
    的
       <code>
 'Last
 </code>
    </强>
     （最后一个文字），
    的
       <code>
 'Pos
 </code>
    </强>
     （枚举内的位置），
    的
       <code>
 'Succ
 </code>
    </强>
     （下一个enum文字），
    的
       <code>
 'Pred
 </code>
    </强>
     （以前的枚举文字）。
  
  
    如果为变量执行内存映射，则可以使用
    的
       <code>
 'Valid
 </code>
    </强>
     检查变量是否具有有效值，并为约束错误保存异常捕获的需要。
  
  
    见下面的例子：
  
   <pre>
 <code>
 with Ada.Text_IO; use Ada.Text_IO;
with Ada.Exceptions; use Ada.Exceptions;

procedure Hello is
    -- miwing chars and literal values in enum
    -- note that jack is 'J' and not the single source code character J
    type My_Awesome_Enum is ('1', '2', '3', 'J', Q, K, Ace);
    for My_Awesome_Enum use
       ('1' => -1,
       '2' => 2,
       '3' => 3,
       -- ...
       'J' => 11,
       Q => 12,
       K => 13,
       Ace => 14);
    temp : Integer;
    prev : My_Awesome_Enum;
    succ : My_Awesome_Enum;
    temp2 : My_Awesome_Enum;
begin
    -- ------------------------------------------
    -- Ada enum power
    declare
    begin
      for value in My_Awesome_Enum loop
        temp := My_Awesome_Enum'Enum_Rep(value);
        Put_Line("Enum litteral value: " & value'Image & " - memory representation: " & Integer'Image(temp));

if value /= My_Awesome_Enum'First then
 prev := My_Awesome_Enum'Pred(value);
 Put_Line("Previous: " & prev'Image);
 else
 Put_Line("No previous");
 end if;
 if value /= My_Awesome_Enum'Last then
 succ := My_Awesome_Enum'Succ(value);
 Put_Line("Next: " & succ'Image);
 else
 Put_Line("No next");
 end if;
 Put_Line("");
 end loop;
 end;
 -- ------------------------------------------
 -- conversion from some input source
 Put_Line("");
 declare
 strInput : String := "Unknown user value";
 begin
 Put_Line("Handling of user input: " & strInput);
 temp2 := My_Awesome_Enum'Value (strInput);
 exception
 when E: others =>
 Put_Line("Exception catched: " & Exception_Information (E));
 Put_Line("Setting value to Ace instead");
 temp2 := Ace;
 end;
 Put_Line("tmp2 value: " & temp2'Image & " - memory representation: " & Integer'Image(My_Awesome_Enum'Enum_Rep(temp2)));
 -- ------------------------------------------
 -- mmemory mapping
 Put_Line("");
 declare
 my_int : Integer := -3;
 mapped_Enum : My_Awesome_Enum;
 for mapped_Enum'Address use my_int'Address;
 last_enum : My_Awesome_Enum := (My_Awesome_Enum'Last);
 stop_condition : Integer := (last_enum'Enum_Rep) + 2;
 begin
 while (my_int < stop_condition) loop
 if mapped_Enum'Valid then
 Put_Line("Enum with value: " & my_int'Image & " is valid.");
 else
 Put_Line("Memory mapping would result in invalid enum for value: " & my_int'Image);
 end if;
 my_int := my_int + 1;
 end loop;
 end;

end Hello;

</code>
 </pre>
  
    这给出了以下输出（
    <a href="https://www.tutorialspoint.com/compile_ada_online.php" rel="nofollow noreferrer">
      https://www.tutorialspoint.com/compile_ada_online.php
    </A>
    ，使用GNATMAKE v7.1.1）：
  
  
    建立：
  
   <pre>
 <code>
 $gnatmake -o hello *.adb
gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali -o hello

</code>
 </pre>
  
    执行：
  
   <pre>
 <code>
 Enum litteral value: '1' - memory representation: -1
No previous
Next: '2'

Enum litteral value: '2' - memory representation:  2
Previous: '1'
Next: '3'

Enum litteral value: '3' - memory representation:  3
Previous: '2'
Next: 'J'

Enum litteral value: 'J' - memory representation:  11
Previous: '3'
Next: Q

Enum litteral value: Q - memory representation:  12
Previous: J
Next: K

Enum litteral value: K - memory representation:  13
Previous: Q
Next: ACE

Enum litteral value: ACE - memory representation:  14
Previous: K
No next

Handling of user input: Unknown user value
Exception catched: raised CONSTRAINT_ERROR : bad input for 'Value: "Unknown user value"

Setting value to Ace instead
tmp2 value: ACE - memory representation:  14

Memory mapping would result in invalid enum for value: -3
Memory mapping would result in invalid enum for value: -2
Enum with value: -1 is valid.
Memory mapping would result in invalid enum for value:  0
Memory mapping would result in invalid enum for value:  1
Enum with value:  2 is valid.
Enum with value:  3 is valid.
Memory mapping would result in invalid enum for value:  4
Memory mapping would result in invalid enum for value:  5
Memory mapping would result in invalid enum for value:  6
Memory mapping would result in invalid enum for value:  7
Memory mapping would result in invalid enum for value:  8
Memory mapping would result in invalid enum for value:  9
Memory mapping would result in invalid enum for value:  10
Enum with value:  11 is valid.
Enum with value:  12 is valid.
Enum with value:  13 is valid.
Enum with value:  14 is valid.
Memory mapping would result in invalid enum for value:  15

</code>
 </pre>
</DIV>