s-finroo.ads, [...] (Read): Addition of "not null" to the anonymous access.

2005-11-14  Javier Miranda  <miranda@adacore.com>

	* s-finroo.ads, s-finroo.adb (Read): Addition of "not null" to the
	anonymous access.
	(Write): Addition of "not null" to the anonymous access.
	(Read): Addition of "not null" to the anonymous access.
	(Write): Addition of "not null" to the anonymous access.

	* s-strxdr.adb, s-stratt.ads, s-stratt.adb (I_AD, I_AS, I_B, I_C, I_F,
	I_I, I_LF, I_LI, I_LLF, I_LLI, I_LLU, I_LU, I_SF, I_SI, I_SSI, I_SSU,
	I_SU, I_U, I_WC): Addition of "not null" to the anonymous access.
	(W_AD, W_AS, W_B, W_C, W_F, W_I, W_LF, W_LI, W_LLF, W_LLI, W_LLU,
	W_LU, W_SF, W_SI, W_SSI, W_SSU, W_SU, W_U, W_WC): Addition of
	"not null" to the anonymous access.

From-SVN: r107009

gcc/ada/s-finroo.adb

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---           Copyright (C) 1992-2003 Free Software Foundation, Inc.         --
+--           Copyright (C) 1992-2005 Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -73,8 +73,9 @@ package body System.Finalization_Root is
    --  Suppress warning for out paramater Item which is not assigned
    --  because it is pretty much empty.
 
-   procedure Read (Stream : access Ada.Streams.Root_Stream_Type'Class;
-                   Item : out Root_Controlled)
+   procedure Read
+     (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
+      Item   : out Root_Controlled)
    is
    begin
       null;
@@ -87,8 +88,9 @@ package body System.Finalization_Root is
    --  Read and Write must be empty in order to avoid copying the
    --  finalization pointers.
 
-   procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class;
-                    Item : in Root_Controlled)
+   procedure Write
+     (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
+      Item   : in Root_Controlled)
    is
    begin
       null;

gcc/ada/s-finroo.ads

@@ -61,10 +61,13 @@ package System.Finalization_Root is
    procedure Finalize   (Object : in out Root_Controlled);
    procedure Adjust     (Object : in out Root_Controlled);
 
-   procedure Write     (Stream : access Ada.Streams.Root_Stream_Type'Class;
-                        Item : in Root_Controlled);
-   procedure Read      (Stream : access Ada.Streams.Root_Stream_Type'Class;
-                        Item : out Root_Controlled);
+   procedure Write
+     (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
+      Item   : in Root_Controlled);
+
+   procedure Read
+     (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
+      Item   : out Root_Controlled);
 
    for Root_Controlled'Read use Read;
    for Root_Controlled'Write use Write;

gcc/ada/s-stratt.ads

@@ -101,25 +101,26 @@ package System.Stream_Attributes is
    --  is the same for all elementary types (no bounds or discriminants
    --  are involved).
 
-   function I_AD  (Stream : access RST) return Fat_Pointer;
-   function I_AS  (Stream : access RST) return Thin_Pointer;
-   function I_B   (Stream : access RST) return Boolean;
-   function I_C   (Stream : access RST) return Character;
-   function I_F   (Stream : access RST) return Float;
-   function I_I   (Stream : access RST) return Integer;
-   function I_LF  (Stream : access RST) return Long_Float;
-   function I_LI  (Stream : access RST) return Long_Integer;
-   function I_LLF (Stream : access RST) return Long_Long_Float;
-   function I_LLI (Stream : access RST) return Long_Long_Integer;
-   function I_LLU (Stream : access RST) return UST.Long_Long_Unsigned;
-   function I_LU  (Stream : access RST) return UST.Long_Unsigned;
-   function I_SF  (Stream : access RST) return Short_Float;
-   function I_SI  (Stream : access RST) return Short_Integer;
-   function I_SSI (Stream : access RST) return Short_Short_Integer;
-   function I_SSU (Stream : access RST) return UST.Short_Short_Unsigned;
-   function I_SU  (Stream : access RST) return UST.Short_Unsigned;
-   function I_U   (Stream : access RST) return UST.Unsigned;
-   function I_WC  (Stream : access RST) return Wide_Character;
+   function I_AD  (Stream : not null access RST) return Fat_Pointer;
+   function I_AS  (Stream : not null access RST) return Thin_Pointer;
+   function I_B   (Stream : not null access RST) return Boolean;
+   function I_C   (Stream : not null access RST) return Character;
+   function I_F   (Stream : not null access RST) return Float;
+   function I_I   (Stream : not null access RST) return Integer;
+   function I_LF  (Stream : not null access RST) return Long_Float;
+   function I_LI  (Stream : not null access RST) return Long_Integer;
+   function I_LLF (Stream : not null access RST) return Long_Long_Float;
+   function I_LLI (Stream : not null access RST) return Long_Long_Integer;
+   function I_LLU (Stream : not null access RST) return UST.Long_Long_Unsigned;
+   function I_LU  (Stream : not null access RST) return UST.Long_Unsigned;
+   function I_SF  (Stream : not null access RST) return Short_Float;
+   function I_SI  (Stream : not null access RST) return Short_Integer;
+   function I_SSI (Stream : not null access RST) return Short_Short_Integer;
+   function I_SSU (Stream : not null access RST)
+     return UST.Short_Short_Unsigned;
+   function I_SU  (Stream : not null access RST) return UST.Short_Unsigned;
+   function I_U   (Stream : not null access RST) return UST.Unsigned;
+   function I_WC  (Stream : not null access RST) return Wide_Character;
 
    -----------------------
    -- Output Procedures --
@@ -130,25 +131,29 @@ package System.Stream_Attributes is
    --  between 'Write and 'Output because there are no discriminants
    --  or bounds to be written.
 
-   procedure W_AD  (Stream : access RST; Item : in Fat_Pointer);
-   procedure W_AS  (Stream : access RST; Item : in Thin_Pointer);
-   procedure W_B   (Stream : access RST; Item : in Boolean);
-   procedure W_C   (Stream : access RST; Item : in Character);
-   procedure W_F   (Stream : access RST; Item : in Float);
-   procedure W_I   (Stream : access RST; Item : in Integer);
-   procedure W_LF  (Stream : access RST; Item : in Long_Float);
-   procedure W_LI  (Stream : access RST; Item : in Long_Integer);
-   procedure W_LLF (Stream : access RST; Item : in Long_Long_Float);
-   procedure W_LLI (Stream : access RST; Item : in Long_Long_Integer);
-   procedure W_LLU (Stream : access RST; Item : in UST.Long_Long_Unsigned);
-   procedure W_LU  (Stream : access RST; Item : in UST.Long_Unsigned);
-   procedure W_SF  (Stream : access RST; Item : in Short_Float);
-   procedure W_SI  (Stream : access RST; Item : in Short_Integer);
-   procedure W_SSI (Stream : access RST; Item : in Short_Short_Integer);
-   procedure W_SSU (Stream : access RST; Item : in UST.Short_Short_Unsigned);
-   procedure W_SU  (Stream : access RST; Item : in UST.Short_Unsigned);
-   procedure W_U   (Stream : access RST; Item : in UST.Unsigned);
-   procedure W_WC  (Stream : access RST; Item : in Wide_Character);
+   procedure W_AD  (Stream : not null access RST; Item : in Fat_Pointer);
+   procedure W_AS  (Stream : not null access RST; Item : in Thin_Pointer);
+   procedure W_B   (Stream : not null access RST; Item : in Boolean);
+   procedure W_C   (Stream : not null access RST; Item : in Character);
+   procedure W_F   (Stream : not null access RST; Item : in Float);
+   procedure W_I   (Stream : not null access RST; Item : in Integer);
+   procedure W_LF  (Stream : not null access RST; Item : in Long_Float);
+   procedure W_LI  (Stream : not null access RST; Item : in Long_Integer);
+   procedure W_LLF (Stream : not null access RST; Item : in Long_Long_Float);
+   procedure W_LLI (Stream : not null access RST; Item : in Long_Long_Integer);
+   procedure W_LLU (Stream : not null access RST;
+                    Item   : in UST.Long_Long_Unsigned);
+   procedure W_LU  (Stream : not null access RST; Item : in UST.Long_Unsigned);
+   procedure W_SF  (Stream : not null access RST; Item : in Short_Float);
+   procedure W_SI  (Stream : not null access RST; Item : in Short_Integer);
+   procedure W_SSI (Stream : not null access RST;
+                    Item   : in Short_Short_Integer);
+   procedure W_SSU (Stream : not null access RST;
+                    Item   : in UST.Short_Short_Unsigned);
+   procedure W_SU  (Stream : not null access RST;
+                    Item   : in UST.Short_Unsigned);
+   procedure W_U   (Stream : not null access RST; Item : in UST.Unsigned);
+   procedure W_WC  (Stream : not null access RST; Item : in Wide_Character);
 
    ----------------------------
    -- Composite Input/Output --