gcc-4.9/gcc/testsuite/gnat.dg/gen_disp.adb


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

--  { dg-do compile }
with Ada.Containers.Ordered_Maps;
with Ada.Tags.Generic_Dispatching_Constructor;
package body gen_disp is
   
   use type Ada.Tags.Tag;
   
   function "<" (L, R : in Ada.Tags.Tag) return Boolean is
   begin
      return Ada.Tags.External_Tag (L) < Ada.Tags.External_Tag (R);
   end "<";
   
   package Char_To_Tag_Map is new Ada.Containers.Ordered_Maps (
      Key_Type => Character,
      Element_Type => Ada.Tags.Tag,
      "<" => "<",
      "=" => Ada.Tags. "=");
      
   package Tag_To_Char_Map is new Ada.Containers.Ordered_Maps (
      Key_Type => Ada.Tags.Tag,
      Element_Type => Character,
      "<" => "<",
      "=" => "=");
      
   use type Char_To_Tag_Map.Cursor;
   use type Tag_To_Char_Map.Cursor;
   
   Char_To_Tag : Char_To_Tag_Map.Map;
   Tag_To_Char : Tag_To_Char_Map.Map;
   
   function Get_Object is new
     Ada.Tags.Generic_Dispatching_Constructor
        (Root_Type, Ada.Streams.Root_Stream_Type'Class, Root_Type'Input);
        
   function Root_Type_Class_Input
     (S    : not null access Ada.Streams.Root_Stream_Type'Class)
      return Root_Type'Class 
   is 
      External_Tag : constant Character := Character'Input (S);
      C : constant Char_To_Tag_Map.Cursor := Char_To_Tag.Find (External_Tag);
   begin

      return Get_Object (Char_To_Tag_Map.Element (C), S);
   end Root_Type_Class_Input;
end gen_disp;