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 --
11 -- Copyright (C) 1992-1997 Free Software Foundation, Inc. --
13 -- GNAT is free software; you can redistribute it and/or modify it under --
14 -- terms of the GNU General Public License as published by the Free Soft- --
15 -- ware Foundation; either version 2, or (at your option) any later ver- --
16 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
17 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
18 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
19 -- for more details. You should have received a copy of the GNU General --
20 -- Public License distributed with GNAT; see file COPYING. If not, write --
21 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
22 -- MA 02111-1307, USA. --
24 -- As a special exception, if other files instantiate generics from this --
25 -- unit, or you link this unit with other files to produce an executable, --
26 -- this unit does not by itself cause the resulting executable to be --
27 -- covered by the GNU General Public License. This exception does not --
28 -- however invalidate any other reasons why the executable file might be --
29 -- covered by the GNU Public License. --
31 -- GNAT was originally developed by the GNAT team at New York University. --
32 -- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
34 ------------------------------------------------------------------------------
36 with System.Finalization_Root;
37 package Ada.Finalization.List_Controller is
38 pragma Elaborate_Body (List_Controller);
40 package SFR renames System.Finalization_Root;
42 ----------------------------
43 -- Simple_List_Controller --
44 ----------------------------
46 type Simple_List_Controller is new Ada.Finalization.Limited_Controlled
48 F : SFR.Finalizable_Ptr;
50 -- Used by the compiler to carry a list of temporary objects that
51 -- needs to be finalized after having being used. This list is
52 -- embedded in a controlled type so that if an exception is raised
53 -- while those temporaries are still in use, they will be reclaimed
54 -- by the normal finalization mechanism.
56 procedure Finalize (Object : in out Simple_List_Controller);
62 -- Management of a bidirectional linked heterogenous list of
63 -- dynamically Allocated objects. To simplify the management of the
64 -- linked list, the First and Last elements are statically part of the
65 -- original List controller:
70 -- |--<-- | record with ctrl components
71 -- |------------| +----------+
73 -- | |------------| | |
74 -- | |+--------+ | +--------+ |+--------+|
75 -- +->|| prev | F|---<---|-- |----<---||-- ||--<--+
76 -- ||--------| i| |--------| ||--------|| |
77 -- || next | r|--->---| --|---->---|| --||--------+
78 -- |+--------+ s| |--------| ||--------|| | |
79 -- | t| | ctrl | || || | |
80 -- | | : : |+--------+| | |
81 -- | | : object : |rec | | |
82 -- | | : : |controller| | |
84 -- |+--------+ | +--------+ +----------+ | |
85 -- || prev -|-L|--------------------->--------------------+ |
87 -- || next | s|-------------------<-------------------------+
92 type List_Controller is new Ada.Finalization.Limited_Controlled
94 F : SFR.Finalizable_Ptr;
96 Last : aliased SFR.Root_Controlled;
98 -- Controls the chains of dynamically allocated controlled
99 -- objects makes sure that they get finalized upon exit from
100 -- the access type that defined them
102 procedure Initialize (Object : in out List_Controller);
103 procedure Finalize (Object : in out List_Controller);
105 end Ada.Finalization.List_Controller;