Ada：入力が列挙型かどうかを確認する方法

Question

キーボードからの入力を読み込んでいます。入力は、列挙型で定義されている要素の1つと一致するはずです。

type NameType is (Bob, Jamie, Steve); 

これらの3つ以外の入力を受け取った場合、adaはIO例外を発生させます。これをどうやって「再試行」メッセージを表示し、プログラムを停止させることができないのかをどのように扱うのですか？感謝

Answer 1

から例を含めるName_TypeためEnumeration_IOのインスタンスを作成し、Name_IOを言います。 loopには、Data_Errorが処理されるようにネストされたblockを入力します。 Name_IO.Getが成功すると、exitloopが成功します。

with Ada.IO_Exceptions; 
with Ada.Text_IO; 

procedure Ask is 

type Name_Type is (Bob, Jamie, Steve); 
package Name_IO is new Ada.Text_IO.Enumeration_IO (Name_Type); 

begin 
    loop 
     declare 
     Name : Name_Type; 
     begin 
     Ada.Text_IO.Put("Enter a name: "); 
     Name_IO.Get(Name); 
     exit; 
     exception 
     when Ada.IO_Exceptions.Data_Error => 
      Ada.Text_IO.Put_Line("Unrecognized name; try again."); 
     end; 
    end loop; 
end Ask; 

Answer 2

あなたはNameTypeの変数に値を取得するためにチェックされていない変換を試み、その変数でvalidを呼び出します。

編集ADAIC

with Ada.Unchecked_Conversion; 
with Ada.Text_IO; 
with Ada.Integer_Text_IO; 

procedure Test is 

    type Color is (Red, Yellow, Blue); 
    for Color'Size use Integer'Size; 

    function Integer_To_Color is 
     new Ada.Unchecked_Conversion (Source => Integer, 
            Target => Color); 

    Possible_Color : Color; 
    Number   : Integer; 

begin -- Test 

    Ada.Integer_Text_IO.Get (Number); 
    Possible_Color := Integer_To_Color (Number); 

    if Possible_Color'Valid then 
     Ada.Text_IO.Put_Line(Color'Image(Possible_Color)); 
    else 
     Ada.Text_IO.Put_Line("Number does not correspond to a color."); 
    end if; 

end Test;