From 7cdc672b77b47c9c4794ed9b24b8dc923ea36bab Mon Sep 17 00:00:00 2001 From: Matthew Heaney Date: Fri, 9 Dec 2005 18:16:22 +0100 Subject: a-convec.adb (Merge): Added assertions to check whether vector params are sorted. 2005-12-05 Matthew Heaney * a-convec.adb (Merge): Added assertions to check whether vector params are sorted. * a-coinve.adb (Merge): Added assertions to check whether vector params are sorted. * a-cohama.ads (Cursor'Write): raises Program_Error per latest AI-302 draft. (Cursor'Read): raises PE * a-cohama.adb (Insert.New_Node): Uses box-style syntax to init elem to its default value. * a-cihama.adb: Manually check whether cursor's key and elem are non-null * a-cidlli.ads, a-cidlli.adb (Splice): Changed param name and param mode (Merge): Assert that target and source lists are in order (Swap): Declare non-const temporaries, to pass to Splice * a-cdlili.ads: (Splice): Changed param name and param mode * a-cdlili.adb: (Splice): Changed param name and param mode (Merge): Assert that target and source lists are in order (Swap): Declare non-const temporaries, to pass to Splice * a-ciorma.ads, a-coorma.ads: (Read): declare Stream param as not null (Write): declare Stream param as not null * a-ciorma.adb, a-coorma.adb: All explicit raise statements now include an exception message. From-SVN: r108287 --- gcc/ada/a-cidlli.ads | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'gcc/ada/a-cidlli.ads') diff --git a/gcc/ada/a-cidlli.ads b/gcc/ada/a-cidlli.ads index 9e2d235..e6fbf769 100644 --- a/gcc/ada/a-cidlli.ads +++ b/gcc/ada/a-cidlli.ads @@ -136,9 +136,9 @@ package Ada.Containers.Indefinite_Doubly_Linked_Lists is Position : in out Cursor); procedure Splice - (Target : in out List; - Before : Cursor; - Position : Cursor); + (Container : in out List; + Before : Cursor; + Position : in out Cursor); function First (Container : List) return Cursor; -- cgit v1.1