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
 !summary
 
@@ -53,16 +52,8 @@
 
 Is Pre'Class checked here? (Yes.)
 
-!recommendation
+!response
 
-(See Summary.)
-
-!wording
-
-[No changes required.]
-
-!discussion
-
 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
 entity.
 
----
+!discussion
 
 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.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent