1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- A D A . F I N A L I Z A T I O N . L I S T _ C O N T R O L L E R --
9 -- Copyright (C) 1992-1997 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 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
32 ------------------------------------------------------------------------------
34 with System
.Finalization_Root
;
35 package Ada
.Finalization
.List_Controller
is
36 pragma Elaborate_Body
(List_Controller
);
38 package SFR
renames System
.Finalization_Root
;
40 ----------------------------
41 -- Simple_List_Controller --
42 ----------------------------
44 type Simple_List_Controller
is new Ada
.Finalization
.Limited_Controlled
46 F
: SFR
.Finalizable_Ptr
;
48 -- Used by the compiler to carry a list of temporary objects that
49 -- needs to be finalized after having being used. This list is
50 -- embedded in a controlled type so that if an exception is raised
51 -- while those temporaries are still in use, they will be reclaimed
52 -- by the normal finalization mechanism.
54 procedure Finalize
(Object
: in out Simple_List_Controller
);
60 -- Management of a bidirectional linked heterogenous list of
61 -- dynamically Allocated objects. To simplify the management of the
62 -- linked list, the First and Last elements are statically part of the
63 -- original List controller:
68 -- |--<-- | record with ctrl components
69 -- |------------| +----------+
71 -- | |------------| | |
72 -- | |+--------+ | +--------+ |+--------+|
73 -- +->|| prev | F|---<---|-- |----<---||-- ||--<--+
74 -- ||--------| i| |--------| ||--------|| |
75 -- || next | r|--->---| --|---->---|| --||--------+
76 -- |+--------+ s| |--------| ||--------|| | |
77 -- | t| | ctrl | || || | |
78 -- | | : : |+--------+| | |
79 -- | | : object : |rec | | |
80 -- | | : : |controller| | |
82 -- |+--------+ | +--------+ +----------+ | |
83 -- || prev -|-L|--------------------->--------------------+ |
85 -- || next | s|-------------------<-------------------------+
90 type List_Controller
is new Ada
.Finalization
.Limited_Controlled
92 F
: SFR
.Finalizable_Ptr
;
94 Last
: aliased SFR
.Root_Controlled
;
96 -- Controls the chains of dynamically allocated controlled
97 -- objects makes sure that they get finalized upon exit from
98 -- the access type that defined them
100 procedure Initialize
(Object
: in out List_Controller
);
101 procedure Finalize
(Object
: in out List_Controller
);
103 end Ada
.Finalization
.List_Controller
;