111
|
1 ------------------------------------------------------------------------------
|
|
2 -- --
|
|
3 -- GNAT COMPILER COMPONENTS --
|
|
4 -- --
|
|
5 -- E L I S T S --
|
|
6 -- --
|
|
7 -- S p e c --
|
|
8 -- --
|
145
|
9 -- Copyright (C) 1992-2019, Free Software Foundation, Inc. --
|
111
|
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 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. --
|
|
17 -- --
|
|
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. --
|
|
21 -- --
|
|
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/>. --
|
|
26 -- --
|
|
27 -- GNAT was originally developed by the GNAT team at New York University. --
|
|
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
29 -- --
|
|
30 ------------------------------------------------------------------------------
|
|
31
|
|
32 -- This package provides facilities for manipulating lists of nodes (see
|
|
33 -- package Atree for format and implementation of tree nodes). Separate list
|
|
34 -- elements are allocated to represent elements of these lists, so it is
|
|
35 -- possible for a given node to be on more than one element list at a time.
|
|
36 -- See also package Nlists, which provides another form that is threaded
|
|
37 -- through the nodes themselves (using the Link field), which is more time
|
|
38 -- and space efficient, but a node can be only one such list.
|
|
39
|
145
|
40 -- WARNING: There is a C version of this package. Any changes to this
|
|
41 -- source file must be properly reflected in the C header file elists.h
|
|
42
|
111
|
43 with Types; use Types;
|
|
44 with System;
|
|
45
|
|
46 package Elists is
|
|
47
|
|
48 -- An element list is represented by a header that is allocated in the
|
|
49 -- Elist header table. This header contains pointers to the first and
|
|
50 -- last elements in the list, or to No_Elmt if the list is empty.
|
|
51
|
|
52 -- The elements in the list each contain a pointer to the next element
|
|
53 -- and a pointer to the referenced node. Putting a node into an element
|
|
54 -- list causes no change at all to the node itself, so a node may be
|
|
55 -- included in multiple element lists, and the nodes thus included may
|
|
56 -- or may not be elements of node lists (see package Nlists).
|
|
57
|
|
58 procedure Initialize;
|
|
59 -- Initialize allocation of element list tables. Called at the start of
|
|
60 -- compiling each new main source file. Note that Initialize must not be
|
|
61 -- called if Tree_Read is used.
|
|
62
|
|
63 procedure Lock;
|
|
64 -- Lock tables used for element lists before calling backend
|
|
65
|
|
66 procedure Unlock;
|
|
67 -- Unlock list tables, in cases where the back end needs to modify them
|
|
68
|
|
69 procedure Tree_Read;
|
|
70 -- Initializes internal tables from current tree file using the relevant
|
|
71 -- Table.Tree_Read routines. Note that Initialize should not be called if
|
|
72 -- Tree_Read is used. Tree_Read includes all necessary initialization.
|
|
73
|
|
74 procedure Tree_Write;
|
|
75 -- Writes out internal tables to current tree file using the relevant
|
|
76 -- Table.Tree_Write routines.
|
|
77
|
|
78 function Last_Elist_Id return Elist_Id;
|
|
79 -- Returns Id of last allocated element list header
|
|
80
|
|
81 function Elists_Address return System.Address;
|
|
82 -- Return address of Elists table (used in Back_End for Gigi call)
|
|
83
|
|
84 function Num_Elists return Nat;
|
|
85 -- Number of currently allocated element lists
|
|
86
|
|
87 function Last_Elmt_Id return Elmt_Id;
|
|
88 -- Returns Id of last allocated list element
|
|
89
|
|
90 function Elmts_Address return System.Address;
|
|
91 -- Return address of Elmts table (used in Back_End for Gigi call)
|
|
92
|
|
93 function Node (Elmt : Elmt_Id) return Node_Or_Entity_Id;
|
|
94 pragma Inline (Node);
|
|
95 -- Returns the value of a given list element. Returns Empty if Elmt
|
|
96 -- is set to No_Elmt.
|
|
97
|
|
98 function New_Elmt_List return Elist_Id;
|
|
99 -- Creates a new empty element list. Typically this is used to initialize
|
|
100 -- a field in some other node which points to an element list where the
|
|
101 -- list is then subsequently filled in using Append calls.
|
|
102
|
|
103 function First_Elmt (List : Elist_Id) return Elmt_Id;
|
|
104 pragma Inline (First_Elmt);
|
|
105 -- Obtains the first element of the given element list or, if the list has
|
|
106 -- no items, then No_Elmt is returned.
|
|
107
|
|
108 function Last_Elmt (List : Elist_Id) return Elmt_Id;
|
|
109 pragma Inline (Last_Elmt);
|
|
110 -- Obtains the last element of the given element list or, if the list has
|
|
111 -- no items, then No_Elmt is returned.
|
|
112
|
|
113 function List_Length (List : Elist_Id) return Nat;
|
|
114 -- Returns number of elements in given List (zero if List = No_Elist)
|
|
115
|
|
116 function Next_Elmt (Elmt : Elmt_Id) return Elmt_Id;
|
|
117 pragma Inline (Next_Elmt);
|
|
118 -- This function returns the next element on an element list. The argument
|
|
119 -- must be a list element other than No_Elmt. Returns No_Elmt if the given
|
|
120 -- element is the last element of the list.
|
|
121
|
|
122 procedure Next_Elmt (Elmt : in out Elmt_Id);
|
|
123 pragma Inline (Next_Elmt);
|
|
124 -- Next_Elmt (Elmt) is equivalent to Elmt := Next_Elmt (Elmt)
|
|
125
|
|
126 function Is_Empty_Elmt_List (List : Elist_Id) return Boolean;
|
|
127 pragma Inline (Is_Empty_Elmt_List);
|
|
128 -- This function determines if a given tree id references an element list
|
|
129 -- that contains no items.
|
|
130
|
|
131 procedure Append_Elmt (N : Node_Or_Entity_Id; To : Elist_Id);
|
|
132 -- Appends N at the end of To, allocating a new element. N must be a
|
|
133 -- non-empty node or entity Id, and To must be an Elist (not No_Elist).
|
|
134
|
|
135 procedure Append_New_Elmt (N : Node_Or_Entity_Id; To : in out Elist_Id);
|
|
136 pragma Inline (Append_New_Elmt);
|
|
137 -- Like Append_Elmt if Elist_Id is not No_List, but if Elist_Id is No_List,
|
|
138 -- then first assigns it an empty element list and then does the append.
|
|
139
|
|
140 procedure Append_Unique_Elmt (N : Node_Or_Entity_Id; To : Elist_Id);
|
|
141 -- Like Append_Elmt, except that a check is made to see if To already
|
|
142 -- contains N and if so the call has no effect.
|
|
143
|
|
144 procedure Prepend_Elmt (N : Node_Or_Entity_Id; To : Elist_Id);
|
|
145 -- Appends N at the beginning of To, allocating a new element
|
|
146
|
|
147 procedure Prepend_Unique_Elmt (N : Node_Or_Entity_Id; To : Elist_Id);
|
|
148 -- Like Prepend_Elmt, except that a check is made to see if To already
|
|
149 -- contains N and if so the call has no effect.
|
|
150
|
|
151 procedure Insert_Elmt_After (N : Node_Or_Entity_Id; Elmt : Elmt_Id);
|
|
152 -- Add a new element (N) right after the pre-existing element Elmt
|
|
153 -- It is invalid to call this subprogram with Elmt = No_Elmt.
|
|
154
|
|
155 function New_Copy_Elist (List : Elist_Id) return Elist_Id;
|
|
156 -- Replicate the contents of a list. Internal list nodes are not shared and
|
|
157 -- order of elements is preserved.
|
|
158
|
|
159 procedure Replace_Elmt (Elmt : Elmt_Id; New_Node : Node_Or_Entity_Id);
|
|
160 pragma Inline (Replace_Elmt);
|
|
161 -- Causes the given element of the list to refer to New_Node, the node
|
|
162 -- which was previously referred to by Elmt is effectively removed from
|
|
163 -- the list and replaced by New_Node.
|
|
164
|
|
165 procedure Remove (List : Elist_Id; N : Node_Or_Entity_Id);
|
|
166 -- Remove a node or an entity from a list. If the list does not contain the
|
|
167 -- item in question, the routine has no effect.
|
|
168
|
|
169 procedure Remove_Elmt (List : Elist_Id; Elmt : Elmt_Id);
|
|
170 -- Removes Elmt from the given list. The node itself is not affected,
|
|
171 -- but the space used by the list element may be (but is not required
|
|
172 -- to be) freed for reuse in a subsequent Append_Elmt call.
|
|
173
|
|
174 procedure Remove_Last_Elmt (List : Elist_Id);
|
|
175 -- Removes the last element of the given list. The node itself is not
|
|
176 -- affected, but the space used by the list element may be (but is not
|
|
177 -- required to be) freed for reuse in a subsequent Append_Elmt call.
|
|
178
|
|
179 function Contains (List : Elist_Id; N : Node_Or_Entity_Id) return Boolean;
|
|
180 -- Perform a sequential search to determine whether the given list contains
|
|
181 -- a node or an entity.
|
|
182
|
|
183 function No (List : Elist_Id) return Boolean;
|
|
184 pragma Inline (No);
|
|
185 -- Tests given Id for equality with No_Elist. This allows notations like
|
|
186 -- "if No (Statements)" as opposed to "if Statements = No_Elist".
|
|
187
|
|
188 function Present (List : Elist_Id) return Boolean;
|
|
189 pragma Inline (Present);
|
|
190 -- Tests given Id for inequality with No_Elist. This allows notations like
|
|
191 -- "if Present (Statements)" as opposed to "if Statements /= No_Elist".
|
|
192
|
|
193 function No (Elmt : Elmt_Id) return Boolean;
|
|
194 pragma Inline (No);
|
|
195 -- Tests given Id for equality with No_Elmt. This allows notations like
|
|
196 -- "if No (Operation)" as opposed to "if Operation = No_Elmt".
|
|
197
|
|
198 function Present (Elmt : Elmt_Id) return Boolean;
|
|
199 pragma Inline (Present);
|
|
200 -- Tests given Id for inequality with No_Elmt. This allows notations like
|
|
201 -- "if Present (Operation)" as opposed to "if Operation /= No_Elmt".
|
|
202
|
|
203 end Elists;
|