1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2013, 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 3, 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. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 -- WARNING: There is a C version of this package. Any changes to this
33 -- source file must be properly reflected in the C header a-elists.h.
36 with Debug; use Debug;
37 with Output; use Output;
40 package body Elists is
42 -------------------------------------
43 -- Implementation of Element Lists --
44 -------------------------------------
46 -- Element lists are composed of three types of entities. The element
47 -- list header, which references the first and last elements of the
48 -- list, the elements themselves which are singly linked and also
49 -- reference the nodes on the list, and finally the nodes themselves.
50 -- The following diagram shows how an element list is represented:
52 -- +----------------------------------------------------+
53 -- | +------------------------------------------+ |
56 -- +-----|--+ +-------+ +-------+ +-------+ |
57 -- | Elmt | | 1st | | 2nd | | Last | |
58 -- | List |--->| Elmt |--->| Elmt ---...-->| Elmt ---+
59 -- | Header | | | | | | | | | |
60 -- +--------+ +---|---+ +---|---+ +---|---+
63 -- +-------+ +-------+ +-------+
65 -- | Node1 | | Node2 | | Node3 |
67 -- +-------+ +-------+ +-------+
69 -- The list header is an entry in the Elists table. The values used for
70 -- the type Elist_Id are subscripts into this table. The First_Elmt field
71 -- (Lfield1) points to the first element on the list, or to No_Elmt in the
72 -- case of an empty list. Similarly the Last_Elmt field (Lfield2) points to
73 -- the last element on the list or to No_Elmt in the case of an empty list.
75 -- The elements themselves are entries in the Elmts table. The Next field
76 -- of each entry points to the next element, or to the Elist header if this
77 -- is the last item in the list. The Node field points to the node which
78 -- is referenced by the corresponding list entry.
80 -------------------------
81 -- Element List Tables --
82 -------------------------
84 type Elist_Header is record
89 package Elists is new Table.Table (
90 Table_Component_Type => Elist_Header,
91 Table_Index_Type => Elist_Id'Base,
92 Table_Low_Bound => First_Elist_Id,
93 Table_Initial => Alloc.Elists_Initial,
94 Table_Increment => Alloc.Elists_Increment,
95 Table_Name => "Elists");
97 type Elmt_Item is record
98 Node : Node_Or_Entity_Id;
102 package Elmts is new Table.Table (
103 Table_Component_Type => Elmt_Item,
104 Table_Index_Type => Elmt_Id'Base,
105 Table_Low_Bound => First_Elmt_Id,
106 Table_Initial => Alloc.Elmts_Initial,
107 Table_Increment => Alloc.Elmts_Increment,
108 Table_Name => "Elmts");
114 procedure Append_Elmt (N : Node_Or_Entity_Id; To : Elist_Id) is
115 L : constant Elmt_Id := Elists.Table (To).Last;
118 Elmts.Increment_Last;
119 Elmts.Table (Elmts.Last).Node := N;
120 Elmts.Table (Elmts.Last).Next := Union_Id (To);
123 Elists.Table (To).First := Elmts.Last;
125 Elmts.Table (L).Next := Union_Id (Elmts.Last);
128 Elists.Table (To).Last := Elmts.Last;
131 Write_Str ("Append new element Elmt_Id = ");
132 Write_Int (Int (Elmts.Last));
133 Write_Str (" to list Elist_Id = ");
134 Write_Int (Int (To));
135 Write_Str (" referencing Node_Or_Entity_Id = ");
141 ------------------------
142 -- Append_Unique_Elmt --
143 ------------------------
145 procedure Append_Unique_Elmt (N : Node_Or_Entity_Id; To : Elist_Id) is
148 Elmt := First_Elmt (To);
153 elsif Node (Elmt) = N then
159 end Append_Unique_Elmt;
165 function Clone (List : Elist_Id) return Elist_Id is
170 if List = No_Elist then
173 -- Replicate the contents of the input list while preserving the
177 Result := New_Elmt_List;
179 Elmt := First_Elmt (List);
180 while Present (Elmt) loop
181 Append_Elmt (Node (Elmt), Result);
193 function Contains (List : Elist_Id; N : Node_Or_Entity_Id) return Boolean is
197 if Present (List) then
198 Elmt := First_Elmt (List);
199 while Present (Elmt) loop
200 if Node (Elmt) = N then
215 function Elists_Address return System.Address is
217 return Elists.Table (First_Elist_Id)'Address;
224 function Elmts_Address return System.Address is
226 return Elmts.Table (First_Elmt_Id)'Address;
233 function First_Elmt (List : Elist_Id) return Elmt_Id is
235 pragma Assert (List > Elist_Low_Bound);
236 return Elists.Table (List).First;
243 procedure Initialize is
249 -----------------------
250 -- Insert_Elmt_After --
251 -----------------------
253 procedure Insert_Elmt_After (N : Node_Or_Entity_Id; Elmt : Elmt_Id) is
254 Nxt : constant Union_Id := Elmts.Table (Elmt).Next;
257 pragma Assert (Elmt /= No_Elmt);
259 Elmts.Increment_Last;
260 Elmts.Table (Elmts.Last).Node := N;
261 Elmts.Table (Elmts.Last).Next := Nxt;
263 Elmts.Table (Elmt).Next := Union_Id (Elmts.Last);
265 if Nxt in Elist_Range then
266 Elists.Table (Elist_Id (Nxt)).Last := Elmts.Last;
268 end Insert_Elmt_After;
270 ------------------------
271 -- Is_Empty_Elmt_List --
272 ------------------------
274 function Is_Empty_Elmt_List (List : Elist_Id) return Boolean is
276 return Elists.Table (List).First = No_Elmt;
277 end Is_Empty_Elmt_List;
283 function Last_Elist_Id return Elist_Id is
292 function Last_Elmt (List : Elist_Id) return Elmt_Id is
294 return Elists.Table (List).Last;
301 function Last_Elmt_Id return Elmt_Id is
312 Elists.Locked := True;
313 Elmts.Locked := True;
322 function New_Elmt_List return Elist_Id is
324 Elists.Increment_Last;
325 Elists.Table (Elists.Last).First := No_Elmt;
326 Elists.Table (Elists.Last).Last := No_Elmt;
329 Write_Str ("Allocate new element list, returned ID = ");
330 Write_Int (Int (Elists.Last));
341 function Next_Elmt (Elmt : Elmt_Id) return Elmt_Id is
342 N : constant Union_Id := Elmts.Table (Elmt).Next;
345 if N in Elist_Range then
352 procedure Next_Elmt (Elmt : in out Elmt_Id) is
354 Elmt := Next_Elmt (Elmt);
361 function No (List : Elist_Id) return Boolean is
363 return List = No_Elist;
366 function No (Elmt : Elmt_Id) return Boolean is
368 return Elmt = No_Elmt;
375 function Node (Elmt : Elmt_Id) return Node_Or_Entity_Id is
377 if Elmt = No_Elmt then
380 return Elmts.Table (Elmt).Node;
388 function Num_Elists return Nat is
390 return Int (Elmts.Last) - Int (Elmts.First) + 1;
397 procedure Prepend_Elmt (N : Node_Or_Entity_Id; To : Elist_Id) is
398 F : constant Elmt_Id := Elists.Table (To).First;
401 Elmts.Increment_Last;
402 Elmts.Table (Elmts.Last).Node := N;
405 Elists.Table (To).Last := Elmts.Last;
406 Elmts.Table (Elmts.Last).Next := Union_Id (To);
408 Elmts.Table (Elmts.Last).Next := Union_Id (F);
411 Elists.Table (To).First := Elmts.Last;
418 function Present (List : Elist_Id) return Boolean is
420 return List /= No_Elist;
423 function Present (Elmt : Elmt_Id) return Boolean is
425 return Elmt /= No_Elmt;
432 procedure Remove_Elmt (List : Elist_Id; Elmt : Elmt_Id) is
437 Nxt := Elists.Table (List).First;
439 -- Case of removing only element in the list
441 if Elmts.Table (Nxt).Next in Elist_Range then
442 pragma Assert (Nxt = Elmt);
444 Elists.Table (List).First := No_Elmt;
445 Elists.Table (List).Last := No_Elmt;
447 -- Case of removing the first element in the list
449 elsif Nxt = Elmt then
450 Elists.Table (List).First := Elmt_Id (Elmts.Table (Nxt).Next);
452 -- Case of removing second or later element in the list
457 Nxt := Elmt_Id (Elmts.Table (Prv).Next);
459 or else Elmts.Table (Nxt).Next in Elist_Range;
462 pragma Assert (Nxt = Elmt);
464 Elmts.Table (Prv).Next := Elmts.Table (Nxt).Next;
466 if Elmts.Table (Prv).Next in Elist_Range then
467 Elists.Table (List).Last := Prv;
472 ----------------------
473 -- Remove_Last_Elmt --
474 ----------------------
476 procedure Remove_Last_Elmt (List : Elist_Id) is
481 Nxt := Elists.Table (List).First;
483 -- Case of removing only element in the list
485 if Elmts.Table (Nxt).Next in Elist_Range then
486 Elists.Table (List).First := No_Elmt;
487 Elists.Table (List).Last := No_Elmt;
489 -- Case of at least two elements in list
494 Nxt := Elmt_Id (Elmts.Table (Prv).Next);
495 exit when Elmts.Table (Nxt).Next in Elist_Range;
498 Elmts.Table (Prv).Next := Elmts.Table (Nxt).Next;
499 Elists.Table (List).Last := Prv;
501 end Remove_Last_Elmt;
507 procedure Replace_Elmt (Elmt : Elmt_Id; New_Node : Node_Or_Entity_Id) is
509 Elmts.Table (Elmt).Node := New_Node;
516 procedure Tree_Read is
526 procedure Tree_Write is
538 Elists.Locked := False;
539 Elmts.Locked := False;