CVS difference for ai05s/ai05-0262-1.txt

Differences between 1.10 and version 1.11
Log of other versions for file ai05s/ai05-0262-1.txt

--- ai05s/ai05-0262-1.txt	2012/01/27 23:23:12	1.10
+++ ai05s/ai05-0262-1.txt	2012/02/19 04:54:05	1.11
@@ -156,13 +156,13 @@
 subtype to which Dynamic_Predicate specifications apply.
 
 The discrete_choice of a
-named_array_aggregate shall not denote a non-static subtype to which predicate specifications
+named_array_aggregate shall not denote a nonstatic subtype to which predicate specifications
 apply.
 
 [Editor's note: The former rule is included in the new one, as a Dynamic_Predicate necessarily
-makes the subtype non-static.]
+makes the subtype nonstatic.]
 
-AARM Reason: This rule prevents non-contiguous dynamically bounded array aggregates,
+AARM Reason: This rule prevents noncontiguous dynamically bounded array aggregates,
 which could be expensive to check for. (Array aggregates have rules to prevent problems with static
 subtypes.) We define this rule here so that the runtime generic body check applies.
 
@@ -1398,7 +1398,7 @@
 
 @drepl
 The @i<first_subtype_>@fa<local_name> of a @fa<pragma> Controlled shall denote a
-non-derived access subtype.
+nonderived access subtype.
 @dby
 The @i<storage_pool_>@fa<name> shall denote a variable.
 
@@ -2104,12 +2104,12 @@
 @drepl
 If a partition contains one or more Priority_Specific_Dispatching pragmas a task
 dispatching point occurs for the currently running task of a processor whenever
-there is a non-empty ready queue for that processor with a higher priority than
+there is a nonempty ready queue for that processor with a higher priority than
 the priority of the running task.
 @dby
 If a partition contains one or more Priority_Specific_Dispatching pragmas, a task
 dispatching point occurs for the currently running task of a processor whenever
-there is a non-empty ready queue for that processor with a higher priority than
+there is a nonempty ready queue for that processor with a higher priority than
 the priority of the running task.
 
 

Questions? Ask the ACAA Technical Agent