CVS difference for arm/source/09.mss

Differences between 1.95 and version 1.96
Log of other versions for file arm/source/09.mss

--- arm/source/09.mss	2009/12/18 07:15:33	1.95
+++ arm/source/09.mss	2010/05/08 06:31:33	1.96
@@ -1,10 +1,10 @@
 @Part(09, Root="ada.mss")
 
-@Comment{$Date: 2009/12/18 07:15:33 $}
+@Comment{$Date: 2010/05/08 06:31:33 $}
 @LabeledSection{Tasks and Synchronization}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/09.mss,v $}
-@Comment{$Revision: 1.95 $}
+@Comment{$Revision: 1.96 $}
 
 @begin{Intro}
 
@@ -541,16 +541,18 @@
   @ChgAdded{Version=[2],Text=[Revised the note on use of the name of
   a task type within itself to reflect the exception for anonymous
   access types.]}
+@end{DiffWord95}
 
+@begin{DiffWord2005}
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0042-1]}
-  @ChgAdded{Version=[3],Text=[@b<Amendment 2:> Clarified that an
+  @ChgAdded{Version=[3],Text=[@b<Correction:> Clarified that an
   inherited procedure of a progenitor is overridden when it is
   implemented by an entry.]}
 
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0090-1]}
-  @ChgAdded{Version=[3],Text=[@b<Amendment 2:> Added the missing
+  @ChgAdded{Version=[3],Text=[@b<Correction:> Added the missing
   defining name in the no conflicting primitive operation rule.]}
-@end{DiffWord95}
+@end{DiffWord2005}
 
 
 @LabeledClause{Task Execution - Task Activation}
@@ -758,13 +760,15 @@
   handle the case of anonymous function return objects. This is critical;
   we don't want to be waiting for the tasks in a return object when we exit
   the function normally.]}
+@end{DiffWord95}
 
+@begin{DiffWord2005}
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0045-1]}
-  @ChgAdded{Version=[3],Text=[Corrected the wording that handles tasks
-  that are never activated to ensure that no lookahead is implied and
-  to make it clear that tasks created by return statements that never
+  @ChgAdded{Version=[3],Text=[@b<Correction:> Corrected the wording that
+  handles tasks that are never activated to ensure that no lookahead is implied
+  and to make it clear that tasks created by return statements that never
   return are never activated.]}
-@end{DiffWord95}
+@end{DiffWord2005}
 
 
 @LabeledClause{Task Dependence - Termination of Tasks}
@@ -1549,16 +1553,18 @@
   @ChgAdded{Version=[2],Text=[Revised the note on use of the name of
   a protected type within itself to reflect the exception for anonymous
   access types.]}
+@end{DiffWord95}
 
+@begin{DiffWord2005}
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0042-1]}
-  @ChgAdded{Version=[3],Text=[@b<Amendment 2:> Clarified that an
+  @ChgAdded{Version=[3],Text=[@b<Correction:> Clarified that an
   inherited subprogram of a progenitor is overridden when it is
   implemented by an entry or subprogram.]}
 
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0090-1]}
-  @ChgAdded{Version=[3],Text=[@b<Amendment 2:> Added the missing
+  @ChgAdded{Version=[3],Text=[@b<Correction:> Added the missing
   defining name in the no conflicting primitive operation rule.]}
-@end{DiffWord95}
+@end{DiffWord2005}
 
 
 @LabeledClause{Intertask Communication}
@@ -1767,12 +1773,15 @@
   better to explicitly say it. While many implementations have gotten this
   wrong, this is not an incompatibility @em allowing updates of protected
   constants has always been wrong.]}
+@end{DiffWord95}
 
+@begin{Extend2005}
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0030-2]}
-  @ChgAdded{Version=[3],Text=[Added @nt{pragma} Implemented to allow
+  @ChgAdded{Version=[3],Text=[@Defn{extensions to Ada 2005}@b<Correction:>
+  Added @nt{pragma} Implemented to allow
   specifying that an interface procedure is really an entry or a
   protected procedure.]}
-@end{DiffWord95}
+@end{Extend2005}
 
 
 @LabeledSubClause{Protected Subprograms and Protected Actions}
@@ -3144,13 +3153,13 @@
 The @nt<requeue_statement> is new.
 @end{Extend83}
 
-@begin{Extend95}
+@begin{Extend2005}
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0030-2]}
-  @ChgAdded{Version=[3],Text=[@Defn{extensions to Ada 95}@b<Amendment 2:>
+  @ChgAdded{Version=[3],Text=[@Defn{extensions to Ada 2005}@b<Correction:>
   Added the ability
   to requeue on operations of synchronized interfaces that are
   declared to be an entry.]}
-@end{Extend95}
+@end{Extend2005}
 
 
 @LabeledClause{Delay Statements, Duration, and Time}
@@ -5388,18 +5397,20 @@
   @ChgAdded{Version=[2],Text=[@b<Corrigendum:> Clarified that a task T2 can rely on
   values of variables that are updated by another task T1, if task T2 first
   verifies that T1'Terminated is True.]}
+@end{DiffWord95}
 
+@begin{DiffWord2005}
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0009-1]}
-  @ChgAdded{Version=[3],Text=[@b<Amendment 2:> Revised the definition of
+  @ChgAdded{Version=[3],Text=[@b<Correction:> Revised the definition of
   independent addressibility to exclude conforming representation clauses
   and to require that atomic and independent objects always have
   independent addressibility. This should not change behavior that the
   user sees for any Ada program, so it is not an inconsistency.]}
 
   @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0072-1]}
-  @ChgAdded{Version=[3],Text=[@b<Amendment 2:> Corrected the wording of
+  @ChgAdded{Version=[3],Text=[@b<Correction:> Corrected the wording of
   AI95-00118-01 to actually say what was intended (as described above).]}
-@end{DiffWord95}
+@end{DiffWord2005}
 
 
 @LabeledClause{Example of Tasking and Synchronization}

Questions? Ask the ACAA Technical Agent