diff options
Diffstat (limited to 'gcc/ada/a-cdlili.ads')
| -rw-r--r-- | gcc/ada/a-cdlili.ads | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/gcc/ada/a-cdlili.ads b/gcc/ada/a-cdlili.ads index 41f8606..c5d81f7 100644 --- a/gcc/ada/a-cdlili.ads +++ b/gcc/ada/a-cdlili.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004-2005, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2006, Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -46,8 +46,10 @@ package Ada.Containers.Doubly_Linked_Lists is pragma Preelaborate; type List is tagged private; + pragma Preelaborable_Initialization (List); type Cursor is private; + pragma Preelaborable_Initialization (Cursor); Empty_List : constant List; @@ -147,7 +149,7 @@ package Ada.Containers.Doubly_Linked_Lists is procedure Splice (Container : in out List; Before : Cursor; - Position : in out Cursor); + Position : Cursor); function First (Container : List) return Cursor; @@ -230,13 +232,13 @@ private use Ada.Streams; procedure Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : out List); for List'Read use Read; procedure Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : List); for List'Write use Write; @@ -253,13 +255,13 @@ private end record; procedure Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : out Cursor); for Cursor'Read use Read; procedure Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : Cursor); for Cursor'Write use Write; |