CVS difference for ais/ai-00301.txt

Differences between 1.13 and version 1.14
Log of other versions for file ais/ai-00301.txt

--- 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