CVS difference for 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