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

Differences between 1.10 and version 1.11
Log of other versions for file ai12s/ai12-0171-1.txt

--- ai12s/ai12-0171-1.txt	2016/12/21 04:17:36	1.10
+++ ai12s/ai12-0171-1.txt	2017/04/25 05:44:37	1.11
@@ -1,4 +1,4 @@
-!standard D.10(11)                                   16-12-20  AI12-0171-1/03
+!standard D.10(11)                                   17-04-24  AI12-0171-1/04
 !class binding interpretation 15-10-05
 !status Amendment 1-2012 16-11-10
 !status ARG Approved 8-0-1  16-10-09
@@ -23,46 +23,45 @@
 scenario that was envisioned when suspension objects were designed was that only
 a single task would ever call Suspend_Until_True.
 
-Is this example reasonable? (Editor: No.)
+Is this example reasonable? (No.)
 
-Should we tighten up the semantics of suspension objects? (Editor: Probably,
-but that will eliminate any need for them.)
+Should we tighten up the semantics of suspension objects? (Slightly.)
 
 with Ada.Synchronous_Task_Control;
 use Ada.Synchronous_Task_Control;
-with Ada.text_IO; use Ada.text_IO;
+with Ada.Text_IO; use Ada.Text_IO;
 procedure ATC is
-   thesem: Suspension_Object;
-   task type subworker is end subworker;
+   The_Sem: Suspension_Object;
+   task type Subworker is end Subworker;
 
-   task body subworker is
+   task body Subworker is
    begin
      for I in 1..1000 loop
         -- seize
-        Suspend_Until_True(thesem);
+        Suspend_Until_True(The_Sem);
 
         Put_line("Sub:" & Integer'Image(I));
 
         -- release
-        Set_True(thesem);
+        Set_True(The_Sem);
      end loop;
    end subworker;
 
-   type Wref is access subworker;
+   type Wref is access Subworker;
    WW: Wref;
 
 begin
-   Set_True(thesem);
+   Set_True(The_Sem);
 
-   WW := new subworker;
+   WW := new Subworker;
    for I in 1..1000 loop
       -- seize
-      Suspend_Until_True(thesem);
+      Suspend_Until_True(The_Sem);
 
       Put_line("Sub:" & Integer'Image(I));
 
       -- release
-      Set_True(thesem);
+      Set_True(The_Sem);
    end loop;
 
 end ATC;

Questions? Ask the ACAA Technical Agent