CVS difference for ai12s/ai12-0112-1.txt
--- ai12s/ai12-0112-1.txt 2018/03/30 05:52:07 1.5
+++ ai12s/ai12-0112-1.txt 2018/04/14 05:01:05 1.6
@@ -1079,15 +1079,14 @@
then raise Program_Error),
Post => (if Position = No_Element then Next'Result = No_Element
elsif Has_Element (Container, Next'Result) then True
- else Next'Result = No_Element and then
- Position'Old = Last (Container)),
+ elsif Next'Result = No_Element then
+ Position = Last (Container)
+ else To_Index (Container, Next'Result) =
+ To_Index (Container, Position) + 1),
Global => null,
Nonblocking => True;
New
-If Position equals No_Element or designates the last element of Container,
-then Next returns the value No_Element. Otherwise, it returns a cursor that
-designates the element with index To_Index (Position) + 1 in the same vector as
-Position.
+Returns a cursor designating the next element in the Container, if any.
209/2+
procedure Next (Position : in out Cursor)
@@ -1127,15 +1126,14 @@
then raise Program_Error),
Post => (if Position = No_Element then Previous'Result = No_Element
elsif Has_Element (Container, Previous'Result) then True
- else Previous'Result = No_Element and then
- Position'Old = First (Container)),
+ elsif Next'Result = No_Element then
+ Position = First (Container)
+ else To_Index (Container, Next'Result) =
+ To_Index (Container, Position) - 1),
Global => null,
Nonblocking => True;
New
-If Position equals No_Element or designates the first element of the container,
-then Previous returns the value No_Element. Otherwise, it returns a cursor that
-designates the element with index To_Index (Position) – 1 in the same vector as
-Position.
+Returns a cursor designating the previous element in the Container, if any.
213/2+
procedure Previous (Position : in out Cursor)
Questions? Ask the ACAA Technical Agent