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

Differences between 1.7 and version 1.8
Log of other versions for file ai12s/ai12-0279-1.txt

--- ai12s/ai12-0279-1.txt	2018/11/27 08:05:27	1.7
+++ ai12s/ai12-0279-1.txt	2019/01/26 00:08:07	1.8
@@ -1,4 +1,4 @@
-!standard D.2.1(1.5/2)                                18-10-22  AI12-0279-1/04
+!standard D.2.1(1.5/2)                                19-01-25  AI12-0279-1/05
 !standard D.2.1(7/5)
 !class binding interpretation 18-05-14
 !status Amendment 1-2012 18-11-26
@@ -8,7 +8,7 @@
 !priority Medium
 !difficulty Easy
 !qualifier Omission
-!subject Nonpreemptive Dispatching Needs More Dispatching Points
+!subject Nonpreemptive dispatching needs more dispatching points
 
 !summary
 
@@ -65,8 +65,8 @@
 
 Add after D.2.1(7/5)
 
-If the Yield aspect has the value True, then a call to Yield is included
-within the body of the associated callable entity, and invoked
+If the Yield aspect has the value True, then a call to procedure Yield is 
+included within the body of the associated callable entity, and invoked
 immediately prior to returning from the body if and only if no other
 task dispatching points were encountered during the execution of the
 body.
@@ -123,8 +123,8 @@
 @dinsa
 A call of Yield is a task dispatching point.
 @dinst
-If the Yield aspect has the value True, then a call to Yield is included
-within the body of the associated callable entity, and invoked
+If the Yield aspect has the value True, then a call to procedure Yield is 
+included within the body of the associated callable entity, and invoked
 immediately prior to returning from the body if and only if no other
 task dispatching points were encountered during the execution of the
 body.

Questions? Ask the ACAA Technical Agent