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 _ R O O T -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- 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 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. -- 21-- -- 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. -- 28-- -- 29-- GNAT was originally developed by the GNAT team at New York University. -- 30-- Extensive contributions were provided by Ada Core Technologies Inc. -- 31-- -- 32------------------------------------------------------------------------------ 33 34with Ada.Streams; 35package System.Finalization_Root is 36pragma Preelaborate (Finalization_Root); 37 38 type Root_Controlled; 39 40 type Finalizable_Ptr is access all Root_Controlled'Class; 41 42 type Empty_Root_Controlled is abstract tagged null record; 43 -- Just for the sake of Controlled equality (see Ada.Finalization) 44 45 type Root_Controlled is new Empty_Root_Controlled with record 46 Prev, Next : Finalizable_Ptr; 47 end record; 48 subtype Finalizable is Root_Controlled'Class; 49 50 procedure Initialize (Object : in out Root_Controlled); 51 procedure Finalize (Object : in out Root_Controlled); 52 procedure Adjust (Object : in out Root_Controlled); 53 54 procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class; 55 Item : in Root_Controlled); 56 procedure Read (Stream : access Ada.Streams.Root_Stream_Type'Class; 57 Item : out Root_Controlled); 58 59 for Root_Controlled'Read use Read; 60 for Root_Controlled'Write use Write; 61end System.Finalization_Root; 62