--- ais/ai-00301.txt 2004/11/03 00:53:41 1.13 +++ ais/ai-00301.txt 2005/02/08 07:12:32 1.14 @@ -138,7 +138,8 @@ Each Index function searches, starting from From, for a slice of Source, with length Pattern'Length, that matches Pattern with respect to Mapping; - the parameter Going indicates the direction of the lookup. If Going = + the parameter Going indicates the direction of the lookup. If From < + Source'First, then Index_Error is propagated. If Going = Forward, then Index returns the smallest index I which is greater than or equal to From such that the slice of Source starting at I matches Pattern. If Going = Backward, then Index returns the largest @@ -170,10 +171,11 @@ Index searches for the first or last occurrence of any of a set of characters (when Test=Inside), or any of the complement of a set of - characters (when Test=Outside). It returns the smallest index I >= From (if - Going=Forward) or the largest index I <= From (if Going=Backward) such that - Source(I) satisfies the Test condition with respect to Set; it returns 0 if - there is no such character in Source. + characters (when Test=Outside). If From < Source'First, then Index_Error + is propagated. Otherwise, it returns the smallest index I >= From + (if Going=Forward) or the largest index I <= From (if Going=Backward) such + that Source(I) satisfies the Test condition with respect to Set; it + returns 0 if there is no such character in Source. Replace A.4.3(60) by: @@ -646,7 +648,8 @@ @xindent<Each Index function searches, starting from From, for a slice of Source, with length Pattern'Length, that matches Pattern with respect to -Mapping; the parameter Going indicates the direction of the lookup. If Going = +Mapping; the parameter Going indicates the direction of the lookup. If +From < Source'First, then Index_Error is propagated. If Going = Forward, then Index returns the smallest index I which is greater than or equal to From such that the slice of Source starting at I matches Pattern. If Going = Backward, then Index returns the largest index I such that the slice of Source @@ -680,7 +683,8 @@ @xindent<Index searches for the first or last occurrence of any of a set of characters (when Test=Inside), or any of the complement of a set of characters -(when Test=Outside). It returns the smallest index I @>= From (if +(when Test=Outside). If From < Source'First, then Index_Error +is propagated. Otherwise, it returns the smallest index I @>= From (if Going=Forward) or the largest index I <= From (if Going=Backward) such that Source(I) satisfies the Test condition with respect to Set; it returns 0 if there is no such Character in Source.> @@ -774,8 +778,8 @@ !corrigendum A.4.4(92) @dinsa -To_String returns the String value with lower bound 1 represented by Source. If -B is a Bounded_String, then B = To_Bounded_String(To_String(B)). +@xindent<To_String returns the String value with lower bound 1 represented by +Source. If B is a Bounded_String, then B = To_Bounded_String(To_String(B)).> @dinss @xcode<@b<procedure> Set_Bounded_String (Target : @b<out> Bounded_String; @@ -1385,7 +1389,7 @@ -- -- -- S p e c -- -- ----- $Revision: 1.13 $ -- +-- $Revision: 1.14 $ -- -- -- -- Copyright (C) 1992-1998, Free Software Foundation, Inc. -- -- --

Questions? Ask the ACAA Technical Agent