home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / adav313.zip / gnat-3_13p-os2-bin-20010916.zip / emx / gnatlib / a-filico.ads < prev    next >
Text File  |  2000-07-19  |  6KB  |  106 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT COMPILER COMPONENTS                         --
  4. --                                                                          --
  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      --
  6. --                                                                          --
  7. --                                B o d y                                   --
  8. --                                                                          --
  9. --                            $Revision: 1.7 $                              --
  10. --                                                                          --
  11. --          Copyright (C) 1992-1997 Free Software Foundation, Inc.          --
  12. --                                                                          --
  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.                                                      --
  23. --                                                                          --
  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.                                      --
  30. --                                                                          --
  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). --
  33. --                                                                          --
  34. ------------------------------------------------------------------------------
  35.  
  36. with System.Finalization_Root;
  37. package Ada.Finalization.List_Controller is
  38. pragma Elaborate_Body (List_Controller);
  39.  
  40.    package SFR renames System.Finalization_Root;
  41.  
  42.    ----------------------------
  43.    -- Simple_List_Controller --
  44.    ----------------------------
  45.  
  46.    type Simple_List_Controller is new Ada.Finalization.Limited_Controlled
  47.      with record
  48.         F : SFR.Finalizable_Ptr;
  49.      end record;
  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.
  55.  
  56.    procedure Finalize (Object : in out Simple_List_Controller);
  57.  
  58.    ---------------------
  59.    -- List_Controller --
  60.    ---------------------
  61.  
  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:
  66.    --
  67.    --        +------------+
  68.    --        |          --|-->--
  69.    --        +------------+
  70.    --        |--<--       |                      record with ctrl components
  71.    --        |------------|                         +----------+
  72.    --     +--|--   L      |                         |          |
  73.    --     |  |------------|                         |          |
  74.    --     |  |+--------+  |       +--------+        |+--------+|
  75.    --     +->||  prev  | F|---<---|--      |----<---||--      ||--<--+
  76.    --        ||--------| i|       |--------|        ||--------||     |
  77.    --        || next   | r|--->---|      --|---->---||      --||--------+
  78.    --        |+--------+ s|       |--------|        ||--------||     |  |
  79.    --        |           t|       | ctrl   |        ||        ||     |  |
  80.    --        |            |       :        :        |+--------+|     |  |
  81.    --        |            |       : object :        |rec       |     |  |
  82.    --        |            |       :        :        |controller|     |  |
  83.    --        |            |       |        |        |          |     |  v
  84.    --        |+--------+  |       +--------+        +----------+     |  |
  85.    --        ||  prev -|-L|--------------------->--------------------+  |
  86.    --        ||--------| a|                                             |
  87.    --        || next   | s|-------------------<-------------------------+
  88.    --        |+--------+ t|
  89.    --        |            |
  90.    --        +------------+
  91.  
  92.    type List_Controller is new Ada.Finalization.Limited_Controlled
  93.      with record
  94.         F    :  SFR.Finalizable_Ptr;
  95.         First,
  96.         Last : aliased SFR.Root_Controlled;
  97.      end record;
  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
  101.  
  102.    procedure Initialize (Object : in out List_Controller);
  103.    procedure Finalize   (Object : in out List_Controller);
  104.  
  105. end Ada.Finalization.List_Controller;
  106.