CVS difference for ais/ai-00067.txt

Differences between 1.8 and version 1.9
Log of other versions for file ais/ai-00067.txt

--- ais/ai-00067.txt	2000/07/13 04:31:26	1.8
+++ ais/ai-00067.txt	2000/08/01 05:39:32	1.9
@@ -14,13 +14,13 @@
 !summary
 
 For a pragma Restrictions(Max_Tasks => 0), task creation is illegal, for
-both the Real Time Systems annex and the Safety and Security annex.  Similarly,
+both the Real-Time Systems annex and the Safety and Security annex.  Similarly,
 for a pragma Restrictions(Max_Asynchronous_Select_Nesting => 0),
 asynchronous_selects are illegal, for both of these annexes.
 
 !question
 
-The Real Time Systems annex says in D.7(15) (of the Max_Tasks and
+The Real-Time Systems annex says in D.7(15) (of the Max_Tasks and
 Max_Asynchronous_Select_Nesting restrictions):
 
   If the following restrictions are violated, the behavior is
@@ -55,15 +55,16 @@
 An implementation conforming to the Safety and Security annex must support a pragma
 Restrictions(Max_Tasks => E), where E is a static expression whose value
 is zero.  If such a pragma applies to a given compilation unit, then for
-an implementation conforming to the Real-Time or Safety and Security annex (or
-both), the compilation unit is illegal if it contains an object_declaration or
-allocator, where the type of the created object is a task type, or is a
-composite type with some subcomponent type that is a task type.
+an implementation conforming to the Real-Time Systems or Safety and Security
+annex (or both), the compilation unit is illegal if it contains an
+object_declaration or allocator, where the type of the created object is a
+task type, or is a composite type with some subcomponent type that is a
+task type.
 
 An implementation conforming to the Safety and Security annex must support a pragma
 Restrictions(Max_Asynchronous_Select_Nesting => E), where E is a static
 expression whose value is zero.  If such a pragma applies to a given
-compilation unit, then for an implementation conforming to the Real-Time
+compilation unit, then for an implementation conforming to the Real-Time Systems
 or Safety and Security annex (or both), the compilation unit is illegal if it
 contains an asynchronous_select.
 

Questions? Ask the ACAA Technical Agent