X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fada%2Fa-crbtgo.ads;h=f2787f608daa64a58b7a2d07aa7152d36c1f8b7b;hb=20d2f5309ee374943308566fa4f174cd3312853b;hp=0415f5be2de0347039c58c385b423b8fefba32b1;hpb=d9e74e050bd1ae08f4be72f63784a42c0973a94a;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/ada/a-crbtgo.ads b/gcc/ada/a-crbtgo.ads index 0415f5be2de..f2787f608da 100644 --- a/gcc/ada/a-crbtgo.ads +++ b/gcc/ada/a-crbtgo.ads @@ -2,30 +2,27 @@ -- -- -- GNAT LIBRARY COMPONENTS -- -- -- --- A D A . C O N T A I N E R S . R E D _ B L A C K _ T R E E S . -- --- G E N E R I C _ O P E R A T I O N S -- +-- ADA.CONTAINERS.RED_BLACK_TREES.GENERIC_OPERATIONS -- -- -- -- S p e c -- -- -- --- Copyright (C) 2004-2006, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2009, 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- -- --- ware Foundation; either version 2, or (at your option) any later ver- -- +-- ware Foundation; either version 3, or (at your option) any later ver- -- -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- --- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- --- for more details. You should have received a copy of the GNU General -- --- Public License distributed with GNAT; see file COPYING. If not, write -- --- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, -- --- Boston, MA 02110-1301, USA. -- +-- or FITNESS FOR A PARTICULAR PURPOSE. -- -- -- --- As a special exception, if other files instantiate generics from this -- --- unit, or you link this unit with other files to produce an executable, -- --- this unit does not by itself cause the resulting executable to be -- --- covered by the GNU General Public License. This exception does not -- --- however invalidate any other reasons why the executable file might be -- --- covered by the GNU Public License. -- +-- As a special exception under Section 7 of GPL version 3, you are granted -- +-- additional permissions described in the GCC Runtime Library Exception, -- +-- version 3.1, as published by the Free Software Foundation. -- +-- -- +-- You should have received a copy of the GNU General Public License and -- +-- a copy of the GCC Runtime Library Exception along with this program; -- +-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- +-- . -- -- -- -- This unit was originally developed by Matthew J Heaney. -- ------------------------------------------------------------------------------ @@ -137,10 +134,10 @@ package Ada.Containers.Red_Black_Trees.Generic_Operations is generic with procedure Write_Node - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Node : Node_Access); procedure Generic_Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Tree : Tree_Type); -- Used to implement stream attribute T'Write. Generic_Write -- first writes the number of nodes into Stream, then calls @@ -149,9 +146,9 @@ package Ada.Containers.Red_Black_Trees.Generic_Operations is generic with procedure Clear (Tree : in out Tree_Type); with function Read_Node - (Stream : access Root_Stream_Type'Class) return Node_Access; + (Stream : not null access Root_Stream_Type'Class) return Node_Access; procedure Generic_Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Tree : in out Tree_Type); -- Used to implement stream attribute T'Read. Generic_Read -- first clears Tree. It then reads the number of nodes out of