CVS difference for ai05s/ai05-0109-1.txt
--- ai05s/ai05-0109-1.txt 2008/10/25 04:53:14 1.2
+++ ai05s/ai05-0109-1.txt 2008/12/02 06:01:19 1.3
@@ -1,5 +1,7 @@
-!standard 13.13.2(34/2) 08-08-08 AI05-0109-1/01
+!standard 13.13.2(34/2) 08-11-18 AI05-0109-1/02
!class binding interpretation 08-08-08
+!status Amendment 201Z 08-11-26
+!status ARG Approved 8-0-1 08-11-01
!status work item 08-08-08
!status received 08-05-19
@@ -8,7 +10,7 @@
!subject Impossible check in S'Class'Input
-It not possible for the internal tag in S'Class'Input to designate something other
+It is not possible for the internal tag in S'Class'Input to designate something other
than a descendant of S.
@@ -46,6 +48,8 @@
denoted by the Input attribute of the specific type identified by the internal
tag; returns that result. If the specific type identified by the internal tag
[is not covered by T'Class or ]is abstract, Constraint_Error is raised.
+AARM Note: Descendant_Tag will ensure that the returned tag is covered by T'Class.
Questions? Ask the ACAA Technical Agent