OSDN Git Service

Always dereference nil receiver passed to value method.
[pf3gnuchains/gcc-fork.git] / gcc / ada / s-finroo.ads
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-2011, 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 3,  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.                                     --
17 --                                                                          --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception,   --
20 -- version 3.1, as published by the Free Software Foundation.               --
21 --                                                                          --
22 -- You should have received a copy of the GNU General Public License and    --
23 -- a copy of the GCC Runtime Library Exception along with this program;     --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
25 -- <http://www.gnu.org/licenses/>.                                          --
26 --                                                                          --
27 -- GNAT was originally developed  by the GNAT team at  New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
29 --                                                                          --
30 ------------------------------------------------------------------------------
31
32 --  This unit provides the basic support for controlled (finalizable) types
33
34 with Ada.Streams;
35
36 package System.Finalization_Root is
37    pragma Preelaborate;
38
39    --  The base for types Controlled and Limited_Controlled declared in Ada.
40    --  Finalization.
41
42    type Root_Controlled is tagged null record;
43
44    procedure Adjust     (Object : in out Root_Controlled);
45    procedure Finalize   (Object : in out Root_Controlled);
46    procedure Initialize (Object : in out Root_Controlled);
47
48    package Stream_Attributes is
49       procedure Read
50         (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
51          Item   : out Root_Controlled) is null;
52
53       procedure Write
54         (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
55          Item   : Root_Controlled) is null;
56    end Stream_Attributes;
57
58    for Root_Controlled'Read  use Stream_Attributes.Read;
59    for Root_Controlled'Write use Stream_Attributes.Write;
60 end System.Finalization_Root;