CVS difference for 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