CVS difference for acats/new/b611006.a

Differences between 1.4 and version 1.5
Log of other versions for file acats/new/b611006.a

--- acats/new/b611006.a	2017/01/21 04:20:14	1.4
+++ acats/new/b611006.a	2017/02/09 02:07:26	1.5
@@ -51,7 +51,7 @@
 --     These objectives descend from changes made by AI12-0113-1, part
 --     of Technical Corrigendum 1 (ISO/IEC 8652:2012/Corr1:2016).
 --     The purpose of these rules is to ensure that the interpretation of
--- ion and postcondition expressions can be
+--     class-wide precondition and postcondition e xpressions can be
 --     meaningfully inherited. We don't want to allow calls to routines that
 --     don't have equivalents for a descendant type, nor parameters that
 --     wouldn't have a matching type for a descendant type. (The first two
@@ -68,6 +68,7 @@
 --     22 Feb 2016   RLB   Corrected operations of Intf to be abstract.
 --     28 Mar 2016   RLB   Generalized error messages, added location codes.
 --     20 Jan 2017   RLB   Clarified error in Pack3.
+--      2 Feb 2017   RLB   Corrected Pack5, which is not illegal.
 --
 --!
 package B611006 is
@@ -229,7 +230,7 @@
 
    package Pack5 is
       type NAT4 is abstract new Root and Intf
-          with null record;                  -- POSSIBLE ERROR: [Set2] {1:7}
+          with null record;                                      -- OK. {1:7}
 
       function Is_OK (Obj : NAT4) return Boolean;
 
@@ -241,8 +242,9 @@
 
       procedure Proc3 (Obj : in out NAT4) is abstract;           -- OK. {7}
 
-      -- Inherits procedure Proc4 (Obj : in out NAT4), which is illegal.
-                                             -- POSSIBLE ERROR: [Set2] {0;-1:0}
+      -- Inherits procedure Proc4 (Obj : in out NAT4), which is OK
+      -- despite Is_Old being used in its Pre'Class, as it is abstract.
+                                                                 -- OK.{0;-1:0}
    end Pack5;
 
 end B611006;

Questions? Ask the ACAA Technical Agent