2003-12-26 Guilhem Lavaux <guilhem@kaffe.org>
[official-gcc.git] / gcc / ada / itypes.adb
blobdd5f98a5132aac515bd0edf80c29400f44aa60f6
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- I T Y P E S --
6 -- --
7 -- B o d y --
8 -- --
9 -- Copyright (C) 1992-2003 Free Software Foundation, Inc. --
10 -- --
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. --
21 -- --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 -- --
25 ------------------------------------------------------------------------------
27 with Atree; use Atree;
28 with Einfo; use Einfo;
29 with Opt; use Opt;
30 with Sem; use Sem;
31 with Sem_Util; use Sem_Util;
32 with Sinfo; use Sinfo;
33 with Stand; use Stand;
35 package body Itypes is
37 ------------------
38 -- Create_Itype --
39 ------------------
41 function Create_Itype
42 (Ekind : Entity_Kind;
43 Related_Nod : Node_Id;
44 Related_Id : Entity_Id := Empty;
45 Suffix : Character := ' ';
46 Suffix_Index : Nat := 0;
47 Scope_Id : Entity_Id := Current_Scope)
48 return Entity_Id
50 Typ : Entity_Id;
52 begin
53 if Related_Id = Empty then
54 Typ := New_Internal_Entity (Ekind, Scope_Id, Sloc (Related_Nod), 'T');
55 Set_Public_Status (Typ);
57 else
58 Typ := New_External_Entity
59 (Ekind, Scope_Id, Sloc (Related_Nod), Related_Id, Suffix,
60 Suffix_Index, 'T');
61 end if;
63 Init_Size_Align (Typ);
64 Set_Etype (Typ, Any_Type);
65 Set_Is_Itype (Typ);
66 Set_Associated_Node_For_Itype (Typ, Related_Nod);
68 if In_Deleted_Code
69 and then not ASIS_Mode
70 then
71 Set_Is_Frozen (Typ);
72 end if;
74 return Typ;
75 end Create_Itype;
77 end Itypes;