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