1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2005 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
40 Get_Remotely_Callable,
49 Set_Remotely_Callable,
54 function Fill_DT_Entry
58 -- Generate the code necessary to fill the appropriate entry of the
59 -- dispatch table of Prim's controlling type with Prim's address.
61 function Make_DT_Access_Action
63 Action : DT_Access_Action;
66 -- Generate a call to one of the Dispatch Table Access Subprograms defined
67 -- in Ada.Tags or in Interfaces.Cpp
69 function Make_DT (Typ : Entity_Id) return List_Id;
70 -- Expand the declarations for the Dispatch Table (or the Vtable in
71 -- the case of type whose ancestor is a CPP_Class)
73 procedure Set_All_DT_Position (Typ : Entity_Id);
74 -- Set the DT_Position field for each primitive operation. In the CPP
75 -- Class case check that no pragma CPP_Virtual is missing and that the
76 -- DT_Position are coherent
78 procedure Expand_Dispatching_Call (Call_Node : Node_Id);
79 -- Expand the call to the operation through the dispatch table and perform
80 -- the required tag checks when appropriate. For CPP types the call is
81 -- done through the Vtable (tag checks are not relevant)
83 procedure Set_Default_Constructor (Typ : Entity_Id);
84 -- Typ is a CPP_Class type. Create the Init procedure of that type to
85 -- be the default constructor (i.e. the function returning this type,
86 -- having a pragma CPP_Constructor and no parameter)
88 function Get_Remotely_Callable (Obj : Node_Id) return Node_Id;
89 -- Return an expression that holds True if the object can be transmitted
90 -- onto another partition according to E.4 (18)