CVS difference for ai12s/ai12-0233-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0233-1.txt

--- ai12s/ai12-0233-1.txt	2017/10/12 02:12:29	1.3
+++ ai12s/ai12-0233-1.txt	2017/10/12 02:16:25	1.4
@@ -1,10 +1,9 @@
-!standard 6.1.1(38/4)                                  17-10-11  AI12-0233-1/02
-!class binding interpretation 17-06-09
+!standard 6.1.1(38/4)                                  17-10-12  AI12-0233-1/03
+!class ramification 17-10-12
 !status work item 17-06-09
 !status received 17-04-13
 !priority Low
 !difficulty Medium
-!qualifier Omission
 !subject Pre'Class for hidden operations of private types
@@ -53,16 +52,8 @@
 Is Pre'Class checked here? (Yes.)
-(See Summary.)
-[No changes required.]
 Unlike the Pre aspect, the applicable Pre'Class aspect at the point of
 call is determined by the *entity* denoted by the name used in the call,
 as apposed to the body invoked.  What this means is that upon entry to
@@ -86,7 +77,7 @@
 checked based on the denoted subprogram, independent of the view of that
 Note that this case can happen for any private type or private extension,
 so long as the type extended is different than the ancestor type (if any)
@@ -143,6 +134,8 @@
 !ACATS test
+We probably need an ACATS C-Test to check that this ramification is actually
+what happens in implementations.

Questions? Ask the ACAA Technical Agent