ada
Wyliczenie

Składnia

• funkcja Wyliczenie „ Image (Argument: Enumeration'Base) return String;
• funkcja Wyliczenie „ Img return String; - GNAT
• funkcja Enumeration'Val (Argument: Universal_Integer) zwraca Enumeration'Base;
• funkcja Enumeration'Pos (Argument: Enumeration'Base) zwraca Universal_Integer;
• funkcja Enumeration'Enum_Rep (Argument: Enumeration'Base) zwraca Universal_Integer;
• funkcja Literal 'Enum_Rep return Universal_Integer; - GNAT
• funkcja Dosłowny 'Zwrot adresu System.Address;
• do wyliczenia (Literal_1 => Universal_Integer , Literal_n => Universal_Integer );
• ( Literał w wyliczeniu) zwraca wartość logiczną;

Iterujące literały

Literał w wyliczeniu jest rodzajem dyskretnym, więc możemy użyć atrybutu Image aby dowiedzieć się, który to literał ma postać postaci tekstowej. Zauważ, że wypisuje to samo słowo, co w kodzie (ale wielkimi literami).

with Ada.Text_IO; use Ada.Text_IO;

procedure Main is
   type Fruit is (Banana, Pear, Orange, Melon);
begin
   for I in Fruit loop
      Put (Fruit'Image (I));
      New_Line;
   end loop;
end;

Wynik

BANANA
PEAR
ORANGE
MELON

Korzystanie z pakietu Enumeration_IO

Zamiast atrybutu Image i Ada.Text_IO.Put literałach wyliczeniowych możemy użyć tylko ogólnego pakietu Ada.Text_IO.Enumeration_IO do wydrukowania literałów.

with Ada.Text_IO; use Ada.Text_IO;

procedure Main is
   type Fruit is (Banana, Pear, Orange, Melon);
   package Fruit_IO is new Enumeration_IO (Fruit); use Fruit_IO;
begin
   for I in Fruit loop
      Put (I);
      New_Line;
   end loop;
end;

Wynik

BANANA
PEAR
ORANGE
MELON

Wielkie litery pierwszego znaku spoczywają na małych literach

Image atrybutu zawiera Image litery wszystkich literałów wyliczenia. Funkcja Case_Rule_For_Names stosuje wielkie litery dla pierwszego znaku, a pozostałe małe.

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Strings.Maps.Constants; use Ada.Strings.Maps.Constants;
with Ada.Strings.Fixed; use Ada.Strings.Fixed;

procedure Main is
   type Fruit is (Banana, Pear, Orange, Melon);
   function Case_Rule_For_Names (Item : String) return String is
   begin
      return Translate (Item (Item'First .. Item'First), Upper_Case_Map) & Translate (Item (Item'First + 1 .. Item'Last), Lower_Case_Map);
   end;
begin
   for I in Fruit loop
      Put (Case_Rule_For_Names (Fruit'Image (I)));
      New_Line;
   end loop;
end;

Wynik

Banana
Pear
Orange
Melon

Case Case, Korzystanie z Enumeration_IO, dla podzakresu

Łączenie zmiany wielkości znaków z Enumeration_IO i użycie bufora tekstowego dla obrazu. Pierwszą postacią manipuluje się na miejscu.

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Characters.Handling; use Ada.Characters.Handling;

procedure Main is
    type Fruit is (Banana, Pear, Orange, Melon);
    package Fruit_IO is new Enumeration_IO (Fruit);
    Buffer : String (1 .. Fruit'Width);
begin
   for I in Fruit range Pear .. Fruit'Last loop
       Fruit_IO.Put (To => Buffer,
                     Item => I,
                     Set => Lower_Case);
       Buffer (Buffer'First) := To_Upper (Buffer (Buffer'First));
       Put_Line (Buffer);
   end loop;
end;

Wynik

Pear  
Orange
Melon