CVS difference for acats/b3/b3710012.a
--- acats/b3/b3710012.a 2007/03/24 01:24:15 1.3
+++ acats/b3/b3710012.a 2007/08/21 18:43:28 1.4
@@ -43,6 +43,8 @@
-- 05 Jun 2001 RLB Normalized "ERROR:" comments.
-- 21 Mar 2007 RLB Updated for Amendment 1 changes.
-- 23 Mar 2007 RLB Updated after discussion of legality of P4.
+-- 20 Aug 2007 RLB Removed most of subtest pending resolution of
+-- AI05-0041.
--
--!
@@ -52,18 +54,19 @@
type T is new B371001_1.T; -- Derived from partial view
-- (full view is not visible).
type Ptr1 is access T;
- subtype S1 is Ptr1 (1); -- ERROR: Discriminant is not visible.
+ subtype S1A is Ptr1 (1); -- ERROR: Discriminant is not visible.
private
- type TT is new B371001_1.T; -- Derived from partial view.
- type Ptr2 is access all TT;
- subtype S2 is Ptr2 (2); -- ERROR: Discriminant has a default.
-
- type Ptr3 is access constant TT;
- subtype S3 is Ptr3 (3); -- ERROR: Discriminant has a default.
-
- type Ptr4 is access TT;
- P4 : Ptr4 (0); -- OK.
-
+-- We don't clearly know the properties of T here; AI05-0041 will
+-- address this.
+-- subtype S1B is Ptr1 (2); -- ERROR: Discriminant has a default.
+--
+-- type Ptr2 is access constant T;
+-- subtype S2 is Ptr2 (3); -- ERROR: Discriminant has a default.
+--
+-- type Ptr3 is access T;
+-- P3 : Ptr3 (0); -- ?? AI05-0041/3 proposed resolution
+-- -- would make this illegal.
+--
end B371001_1.Child_2;
Questions? Ask the ACAA Technical Agent