CVS difference for ais/ai-00305.txt

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

--- ais/ai-00305.txt	2005/01/28 02:10:46	1.8
+++ ais/ai-00305.txt	2005/04/13 05:37:11	1.9
@@ -1,4 +1,4 @@
-!standard D.7 (10)                                   05-01-12  AI95-00305/08
+!standard D.7 (10)                                   05-03-18  AI95-00305/09
 !standard D.7 (15)
 !standard D.7 (19)
 !standard H.5 (01)
@@ -42,11 +42,11 @@
 inserted after D.7(10):
 
 No_Calendar
-        There are no semantic dependencies on package Ada.Calendar.
+        There are no semantic dependencies on package Calendar.
 
 No_Dynamic_Attachment
         There is no call to any of the operations defined in package
-        Ada.Interrupts (Is_Reserved, Is_Attached, Current_Handler,
+        Interrupts (Is_Reserved, Is_Attached, Current_Handler,
         Attach_Handler, Exchange_Handler, Detach_Handler, and Reference).
 
 No_Local_Protected_Objects
@@ -54,7 +54,7 @@
 
 No_Protected_Type_Allocators
         There are no allocators for protected types or types containing
-        protected type components.
+        protected type subcomponents.
 
 No_Relative_Delay
         There are no delay_relative_statements.
@@ -66,7 +66,7 @@
         There are no select_statements.
 
 No_Task_Attributes_Package
-        There are no semantic dependencies on package Ada.Task_Attributes.
+        There are no semantic dependencies on package Task_Attributes.
 
 Simple_Barriers
         The Boolean expression in an entry barrier shall be either a
@@ -159,19 +159,19 @@
 There are no semantic dependences on the package Asynchronous_Task_Control.>
 @dinss
 @xhang<@xterm<No_Calendar>
-There are no semantic dependencies on package Ada.Calendar.>
+There are no semantic dependencies on package Calendar.>
 
 @xhang<@xterm<No_Dynamic_Attachment>
 There is no call to any of the operations defined in package
-Ada.Interrupts (Is_Reserved, Is_Attached, Current_Handler,
+Interrupts (Is_Reserved, Is_Attached, Current_Handler,
 Attach_Handler, Exchange_Handler, Detach_Handler, and Reference).>
 
 @xhang<@xterm<No_Local_Protected_Objects>
 Protected objects shall be declared only at library level.>
 
 @xhang<@xterm<No_Protected_Type_Allocators>
-There are no allocators for protected types or types containing
-protected type components.>
+There are no @fa<allocator>s for protected types or types containing
+protected type subcomponents.>
 
 @xhang<@xterm<No_Relative_Delay>
 There are no @fa<delay_relative_statement>s.>
@@ -183,7 +183,7 @@
 There are no @fa<select_statement>s.>
 
 @xhang<@xterm<No_Task_Attributes_Package>
-There are no semantic dependencies on package Ada.Task_Attributes.>
+There are no semantic dependencies on package Task_Attributes.>
 
 @xhang<@xterm<Simple_Barriers>
 The Boolean expression in an entry barrier shall be either a static Boolean
@@ -194,6 +194,8 @@
 @drepl
 @i<This paragraph was deleted>
 @dby
+The following @I<restriction_>@fa<identifier>s are language defined:
+
 @xhang<@xterm<No_Task_Termination>
 All tasks are non-terminating. It is implementation-defined what
 happens if a task attempts to terminate.>

Questions? Ask the ACAA Technical Agent