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