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 with Atree; use Atree;
28 with Einfo; use Einfo;
29 with Elists; use Elists;
30 with Exp_Util; use Exp_Util;
32 with Sem_Util; use Sem_Util;
33 with Sinfo; use Sinfo;
34 with Snames; use Snames;
36 package body Exp_Tss is
42 function Base_Init_Proc (Typ : Entity_Id) return Entity_Id is
47 pragma Assert (Ekind (Typ) in Type_Kind);
49 if Is_Private_Type (Typ) then
50 Full_Type := Underlying_Type (Base_Type (Typ));
55 if No (Full_Type) then
57 elsif Is_Concurrent_Type (Full_Type)
58 and then Present (Corresponding_Record_Type (Base_Type (Full_Type)))
60 return Init_Proc (Corresponding_Record_Type (Base_Type (Full_Type)));
63 Proc := Init_Proc (Base_Type (Full_Type));
66 and then Is_Composite_Type (Full_Type)
67 and then Is_Derived_Type (Full_Type)
69 return Init_Proc (Root_Type (Full_Type));
80 -- Note: internally this routine is also used to initially set up
81 -- a TSS entry for a new type (case of being called from Set_TSS)
83 procedure Copy_TSS (TSS : Entity_Id; Typ : Entity_Id) is
87 Ensure_Freeze_Node (Typ);
88 FN := Freeze_Node (Typ);
90 if No (TSS_Elist (FN)) then
91 Set_TSS_Elist (FN, New_Elmt_List);
94 -- We prepend here, so that a second call overrides the first, it
95 -- is not clear that this is required, but it seems reasonable.
97 Prepend_Elmt (TSS, TSS_Elist (FN));
100 ---------------------------------
101 -- Has_Non_Null_Base_Init_Proc --
102 ---------------------------------
104 function Has_Non_Null_Base_Init_Proc (Typ : Entity_Id) return Boolean is
105 BIP : constant Entity_Id := Base_Init_Proc (Typ);
108 return Present (BIP) and then not Is_Null_Init_Proc (BIP);
109 end Has_Non_Null_Base_Init_Proc;
115 function Init_Proc (Typ : Entity_Id) return Entity_Id is
117 return TSS (Typ, Name_uInit_Proc);
124 procedure Set_Init_Proc (Typ : Entity_Id; Init : Entity_Id) is
133 procedure Set_TSS (Typ : Entity_Id; TSS : Entity_Id) is
134 Subprog_Body : constant Node_Id := Unit_Declaration_Node (TSS);
137 -- Case of insertion location is in unit defining the type
139 if In_Same_Code_Unit (Typ, TSS) then
140 Append_Freeze_Action (Typ, Subprog_Body);
142 -- Otherwise, we are using an already existing TSS in another unit
155 function TSS (Typ : Entity_Id; Nam : Name_Id) return Entity_Id is
156 FN : constant Node_Id := Freeze_Node (Typ);
164 elsif No (TSS_Elist (FN)) then
168 Elmt := First_Elmt (TSS_Elist (FN));
170 while Present (Elmt) loop
171 if Chars (Node (Elmt)) = Nam then
174 -- For stream subprograms, the TSS entity may be a renaming-
175 -- as-body of an already generated entity. Use that one rather
176 -- the one introduced by the renaming, which is an artifact of
177 -- current stream handling.
179 if Nkind (Parent (Parent (Subp))) =
180 N_Subprogram_Renaming_Declaration
182 Present (Corresponding_Spec (Parent (Parent (Subp))))
184 return Corresponding_Spec (Parent (Parent (Subp)));