gcc/testsuite/gnat.dg/limited_with3_pkg1.ads

   1 with Ada.Containers.Hashed_Maps;
   2
   3 generic
   4
   5      type Object_Type is tagged private;
   6
   7 package Limited_With3_Pkg1 is
   8
   9      type Key_Type is access all String;
  10
  11      type Element_Type is new Object_Type with null record;
  12
  13      type Element_Access is access all Element_Type;
  14
  15      function Equal (Left, Right : Element_Access) return Boolean;
  16
  17      function Equivalent_Keys (Left, Right : Key_Type) return Boolean;
  18
  19      function Hash (Key : Key_Type) return Ada.Containers.Hash_Type;
  20
  21      package Table_Package is new Ada.Containers.Hashed_Maps (
  22          Key_Type            => Key_Type,
  23          Element_Type        => Element_Access,
  24          Hash                => Hash,
  25          Equivalent_Keys     => Equivalent_Keys,
  26          "="                 => Equal);
  27
  28 end Limited_With3_Pkg1;