CVS difference for ais/ai-00301.txt

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

--- ais/ai-00301.txt	2005/02/10 05:46:33	1.15
+++ ais/ai-00301.txt	2005/02/26 01:25:53	1.16
@@ -1,4 +1,4 @@
-!standard A.4.3(8)                                   05-02-09  AI95-00301/10
+!standard A.4.3(8)                                   05-02-25  AI95-00301/11
 !standard A.4.3(56)
 !standard A.4.3(58)
 !standard A.4.3(60)
@@ -140,8 +140,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 From <
-   Source'First, then Index_Error is propagated. If Going =
+   the parameter Going indicates the direction of the lookup. If From is not in
+   Source'Range, 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
@@ -173,7 +173,7 @@
 
    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). If From < Source'First, then Index_Error
+   characters (when Test=Outside). If From is not in Source'Range, 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
@@ -359,6 +359,9 @@
    of the number of characters read. Reading stops when the end of the line is
    met; Skip_Line is then (in effect) called with a spacing of 1.
 
+   Constraint_Error is raised if the length of line exceeds Positive'Last; in
+   the case, the line number and page number are unchanged, and the column
+   number is unspecified but no less than it was before the call.
    The exception End_Error is propagated if an attempt is made to skip a file
    terminator.
 
@@ -659,7 +662,7 @@
 @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
-From < Source'First, then Index_Error is propagated. If Going =
+From is not in Source'Range, 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
@@ -693,7 +696,7 @@
 
 @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). If From < Source'First, then Index_Error
+(when Test=Outside). If From is not in 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
@@ -1413,7 +1416,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---    $Revision: 1.15 $                              --
+--                            $Revision: 1.16 $                              --
 --                                                                          --
 --          Copyright (C) 1992-1998, Free Software Foundation, Inc.         --
 --                                                                          --

Questions? Ask the ACAA Technical Agent