CVS difference for ai05s/ai05-0142-4.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai05s/ai05-0142-4.txt

--- ai05s/ai05-0142-4.txt	2009/10/23 06:06:31	1.5
+++ ai05s/ai05-0142-4.txt	2010/01/09 01:31:29	1.6
@@ -1,4 +1,4 @@
-!standard 3.10(9/2)                                  09-06-25  AI05-0142-4/04
+!standard 3.10(9/2)                                  09-12-09  AI05-0142-4/05
 !standard 3.10.2(13.1/2)
 !standard 6.1(15/2)
 !standard 6.1(23)
@@ -253,7 +253,7 @@
 Add the following to Ada.Containers.Vectors and its relatives.
 
     function Constant_Reference (Container : aliased in Vector; Index : in Index_Type)
-       return Reference_Type;
+       return Constant_Reference_Type;
 
 If Index is not in the range First_Index (Container) .. Last_Index (Container),
 then Constraint_Error is propagated. Otherwise, Constant_Reference returns an object
@@ -317,15 +317,15 @@
 look like:
 
    declare
-      type AT is access MV.Reference_Type;
-      procedure Free is new Ada.Unchecked_Deallocation (MV.Reference_Type, AT);
+      type AR is access MV.Reference_Type;
+      procedure Free is new Ada.Unchecked_Deallocation (MV.Reference_Type, AR);
 
-      PAT : AT := new MV.Reference_Type'(Vect.Reference (1))
+      PAR : AR := new MV.Reference_Type'(Vect.Reference (1))
 
-      Element : access Element_Type := PAT.Element; -- OK.
+      Element : access Element_Type := PAR.Element; -- OK.
 
    begin
-      Free (PAT); -- Tampering checking ends here!
+      Free (PAR); -- Tampering checking ends here!
 
       Vect.Delete (1); -- No check here.
       ... Element.all ... -- Oops, gone.

Questions? Ask the ACAA Technical Agent