Version 1.5 of ais/ai-00353.txt

Unformatted version of ais/ai-00353.txt version 1.5
Other versions for file ais/ai-00353.txt

!standard D.7 (10)          03-12-04 AI95-00353/03
!class amendment 02-09-24
!status No Action (9-0-1) 05-02-13
!status WG9 Approved 03-12-12
!status ARG Approved 10-0-0 03-10-03
!status work item 02-09-24
!status received 02-09-24
!priority High
!difficulty Medium
!subject New Restrictions identifier No_Synchronous_Control
!summary
A new Restrictions identifier is needed to specify that there are no dependences on Ada.Synchronous_Task_Control to enable the development of runtime systems that do not include any part of an Ada tasking kernel.
!problem
In some implementations, the feature Ada.Synchronous_Task_Control requires the inclusion of a portion of the tasking module of an Ada runtime system. To enable the development of a minimal runtime system that eliminates all of the Ada tasking and scheduling features, a new restriction is needed to specify that there are no dependences on Ada.Synchronous_Task_Control.
!proposal
(See wording.)
!wording
Following D.7(10):
No_Synchronous_Control
There are no semantic dependences on the package Synchronous_Task_Control.
!discussion
!example
!corrigendum D.7(10)
Insert after the paragraph:
No_Asynchronous_Control
There are no semantic dependences on the package Asynchronous_Task_Control.
the new paragraph:
No_Synchronous_Control
There are no semantic dependences on the package Synchronous_Task_Control.
!ACATS test
An ACATS test should be created for this pragma.
!appendix

From: Joyce Tokar
Sent: Wednesday, September 24, 2003  12:11 PM

Attached please find two candidate AIs that are a result of last week's IRTAW
meeting.  I am submitting these for consideration of the ARG at the next
meeting.

****************************************************************

Questions? Ask the ACAA Technical Agent