home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / gnat-2.06-src.tgz / tar.out / fsf / gnat / ada / s-finimp.ads < prev    next >
Text File  |  1996-09-28  |  5KB  |  111 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT COMPILER COMPONENTS                         --
  4. --                                                                          --
  5. --    S Y S T E M . F I N A L I Z A T I O N _ I M P L E M E N T A T I O N   --
  6. --                                                                          --
  7. --                                 S p e c                                  --
  8. --                                                                          --
  9. --                            $Revision: 1.20 $                             --
  10. --                                                                          --
  11. --           Copyright (c) 1992,1993,1994 NYU, All Rights Reserved          --
  12. --                                                                          --
  13. -- The GNAT library is free software; you can redistribute it and/or modify --
  14. -- it under terms of the GNU Library General Public License as published by --
  15. -- the Free Software  Foundation; either version 2, or (at your option) any --
  16. -- later version.  The GNAT library is distributed in the hope that it will --
  17. -- be useful, but WITHOUT ANY WARRANTY;  without even  the implied warranty --
  18. -- of MERCHANTABILITY  or  FITNESS FOR  A PARTICULAR PURPOSE.  See the  GNU --
  19. -- Library  General  Public  License for  more  details.  You  should  have --
  20. -- received  a copy of the GNU  Library  General Public License  along with --
  21. -- the GNAT library;  see the file  COPYING.LIB.  If not, write to the Free --
  22. -- Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.        --
  23. --                                                                          --
  24. ------------------------------------------------------------------------------
  25.  
  26. --  ??? this package should be a private package. It is set as public for now
  27. --  in order to simplify testing
  28.  
  29. package System.Finalization_Implementation is
  30. pragma Preelaborate (Finalization_Implementation);
  31.  
  32.    type Root_Controlled;
  33.  
  34.    subtype Finalizable     is            Root_Controlled'Class;
  35.    type    Finalizable_Ptr is access all Root_Controlled'Class;
  36.  
  37.    type Root_Controlled is abstract tagged record
  38.       Prev : Finalizable_Ptr;
  39.       Next : Finalizable_Ptr;
  40.    end record;
  41.  
  42.    procedure Initialize (Object : in out Root_Controlled) is abstract;
  43.    procedure Finalize   (Object : in out Root_Controlled) is abstract;
  44.    procedure Adjust     (Object : in out Root_Controlled);
  45.  
  46.    -------------------------------------------------
  47.    --  Finalization Management Abstract Interface --
  48.    -------------------------------------------------
  49.  
  50.    Global_Final_List : Finalizable_Ptr;
  51.    --  This list stores the controlled objects defined in library-level
  52.    --  packages. They will be finalized after the main program completion.
  53.  
  54.    procedure Finalize_Global_List;
  55.    --  The procedure to be called in order to finalize the global list;
  56.  
  57.    procedure Attach_To_Final_List
  58.      (L   : in out Finalizable_Ptr;
  59.       Obj : in out Finalizable);
  60.    --  Put the finalizable object on a list of finalizable elements.
  61.  
  62.    procedure Detach_From_Final_List
  63.      (L   : in out Finalizable_Ptr;
  64.       Obj : in out Finalizable);
  65.    --  Remove the specified object from the Final list and reset its
  66.    --  pointers to null.
  67.  
  68.    procedure Finalize_List (L : Finalizable_Ptr);
  69.    --  Call Finalize on each element of the list L;
  70.  
  71.    procedure Finalize_One
  72.      (From : in out Finalizable_Ptr;
  73.       Obj  : in out Finalizable);
  74.    --  Call Finalize on Obj and remove it from the list From.
  75.  
  76.    -----------------------------
  77.    -- Record Controller Types --
  78.    -----------------------------
  79.  
  80.    --  Definition of the types of the controller component that is included
  81.    --  in records containing controlled components. This controller is
  82.    --  attached to the finalization chain of the upper-level and carries
  83.    --  the pointer of the finalization chain for the lower level
  84.  
  85.    type Limited_Record_Controller is new Root_Controlled with record
  86.       F : System.Finalization_Implementation.Finalizable_Ptr;
  87.    end record;
  88.  
  89.    procedure Initialize (Object : in out Limited_Record_Controller);
  90.    --  Does nothing
  91.  
  92.    procedure Finalize (Object : in out Limited_Record_Controller);
  93.    --  Finalize the controlled components of the enclosing record by
  94.    --  following the list starting at Object.F
  95.  
  96.    type Record_Controller is
  97.       new Limited_Record_Controller with record
  98.          My_Address : System.Address;
  99.       end record;
  100.  
  101.    procedure Initialize (Object : in out Record_Controller);
  102.    --  Initialize the field My_Address to the Object'Address
  103.  
  104.    procedure Adjust (Object : in out Record_Controller);
  105.    --  Adjust the components and their finalization pointers by substracting
  106.    --  by the offset of the target and the source addresses of the assignment
  107.  
  108.    --  Inherit Finalize from Limited_Record_Controller
  109.  
  110. end System.Finalization_Implementation;
  111.