1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2001 Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
25 ------------------------------------------------------------------------------
27 -- This package contains routines involved in tagged types and dynamic
28 -- dispatching expansion
30 with Types
; use Types
;
33 type DT_Access_Action
is
41 Get_Remotely_Callable
,
50 Set_Remotely_Callable
,
55 function Fill_DT_Entry
59 -- Generate the code necessary to fill the appropriate entry of the
60 -- dispatch table of Prim's controlling type with Prim's address.
62 function Make_DT_Access_Action
64 Action
: DT_Access_Action
;
67 -- Generate a call to one of the Dispatch Table Access Subprograms defined
68 -- in Ada.Tags or in Interfaces.Cpp
70 function Make_DT
(Typ
: Entity_Id
) return List_Id
;
71 -- Expand the declarations for the Dispatch Table (or the Vtable in
72 -- the case of type whose ancestor is a CPP_Class)
74 procedure Set_All_DT_Position
(Typ
: Entity_Id
);
75 -- Set the DT_Position field for each primitive operation. In the CPP
76 -- Class case check that no pragma CPP_Virtual is missing and that the
77 -- DT_Position are coherent
79 procedure Expand_Dispatch_Call
(Call_Node
: Node_Id
);
80 -- Expand the call to the operation through the dispatch table and perform
81 -- the required tag checks when appropriate. For CPP types the call is
82 -- done through the Vtable (tag checks are not relevant)
84 procedure Set_Default_Constructor
(Typ
: Entity_Id
);
85 -- Typ is a CPP_Class type. Create the Init procedure of that type to
86 -- be the default constructor (i.e. the function returning this type,
87 -- having a pragma CPP_Constructor and no parameter)
89 function Get_Remotely_Callable
(Obj
: Node_Id
) return Node_Id
;
90 -- Return an expression that holds True if the object can be transmitted
91 -- onto another partition according to E.4 (18)