aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/opt50_pkg.adb
blob: 0f92f7dcf532afa3e98fa8e49a20f4e24ca2cfd4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
with Ada.Characters.Handling;
with Ada.Containers;
with Ada.Containers.Indefinite_Hashed_Maps;
with Ada.Strings.Hash;

package body Opt50_Pkg is

   type Enum_Name is array (Enum) of access constant String;

   Enum_Name_Table : constant Enum_Name := (
      One   => new String'("one"),
      Two   => new String'("two"),
      Three => new String'("three"));

   package String_To_Enum_Map is new Ada.Containers.Indefinite_Hashed_Maps
      (Key_Type => String, Element_Type => Enum,
       Hash => Ada.Strings.Hash, Equivalent_Keys => "=");

   function Fill_Hashed_Map return String_To_Enum_Map.Map is
      Res : String_To_Enum_Map.Map;
      use String_To_Enum_Map;
   begin
      for I in Enum_Name_Table'Range loop
         declare
            Kind : constant String := Enum_Name_Table (I).all;
         begin
            Res.Insert(Key => Kind, New_Item => I);
         end;
      end loop;
      return Res;
   end;

   String_To_Enum : constant String_To_Enum_Map.Map := Fill_Hashed_Map;

   procedure Get (Kind : String; Result : out Enum; Success : out Boolean) is
      X : constant String := Ada.Characters.Handling.To_Lower (Kind);
      use String_To_Enum_Map;
      Curs : constant Cursor := String_To_Enum.Find (X);
   begin
      Success := Curs /= No_Element;
      if Success then
         Result := Element(Curs);
      end if;
   end;

   procedure Set (A : Enum_Boolean_Array) is null;

end Opt50_Pkg;