CVS difference for ai05s/ai05-0215-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0215-1.txt

--- ai05s/ai05-0215-1.txt	2010/06/13 05:36:44	1.1
+++ ai05s/ai05-0215-1.txt	2010/10/26 04:03:12	1.2
@@ -1,4 +1,7 @@
-!standard  9.5.4(3/3)                             10-06-12    AI05-0215-1/00
+!standard  9.5(18/3)                             10-10-25    AI05-0215-1/01
+!standard  9.5.4(3/3)
+!standard  9.5.4(5/3)
+!standard  9.5.4(5.1/3)
 !class binding interpretation 10-06-12
 !status work item 10-06-12
 !status received 10-03-26
@@ -37,7 +40,7 @@
     first parameter, the profile can't conform with the enclosing entry.
     Probably it is the *prefixed view profile* that has to conform.
 
-    Similar problems arise in 9.5.4(5/3). 
+    Similar problems arise in 9.5.4(5/3).
 
 !recommendation
 
@@ -45,7 +48,42 @@
 
 !wording
 
-*** TBD ***
+Modify 9.5(18/3) as follows:
+
+  A pragma Implemented {is a representation pragma, and} is [said to
+  *apply* to]{specifies the Implemented aspect of} the procedure denoted
+  by its *procedure_*local_name. {Inherited subprograms inherit the
+  Implemented aspect, if any, from the corresponding subprogram of the
+  parent or progenitor type.}  If an overriding operation does not have
+  a [pragma] {directly specified} Implemented {aspect} then [any pragma
+  Implemented applying to] {Implemented aspect of} the inherited
+  operation [applies to] {is inherited by} the overriding operation.
+
+Modify 9.5.4(3/3) as follows:
+
+  The *procedure_or_entry_*name of a requeue_statement shall resolve to
+  denote a procedure or an entry (the requeue target){.  The profile of
+  the entry, or the profile or prefixed profile of the procedure, shall}
+  [that] either [has] {have} no parameters, or [that has a profile that
+  is] {be} type conformant (see 6.3.1) with the profile of the innermost
+  enclosing entry_body or accept_statement.
+
+
+Modify 9.5.4(5/3) as follows:
+
+  If the requeue target has parameters, then its {(prefixed)} profile
+  shall be subtype conformant with the profile of the innermost
+  enclosing callable construct.
+
+Modify 9.5.4(5.1/3) as follows:
+
+  If the target is a procedure, the name shall denote a rename of an
+  entry, or shall denote {a view or} a prefixed view of a primitive
+  subprogram of a synchronized interface, where the first parameter of
+  the unprefixed view of the primitive subprogram shall be a controlling
+  parameter, and [an] {the} Implemented [pragma] {aspect shall be
+  specified} with implementation_kind By_Entry [shall apply to] {for}
+  the primitive subprogram.
 
 !discussion
 

Questions? Ask the ACAA Technical Agent