Appendix A: Map From Ada 95 Reference Manual to Guidelines

9. Tasks and Synchronization 4.1.9, 4.2.4, 6, 6.1, 7.4

9.1 Task Units and Task Objects 2.1.7, 3.2.5, 3.3.7, 5.1.4, 6.1.2, 6.1.4, 6.1.5, 6.1.6, 6.2.1, 6.3.4, 7.1.3, 8.4.3

9.2 Task Execution-Task Activation 6.1.2, 6.1.5, 6.1.6, 6.1.7, 6.3.2, 7.4.1, 7.4.2, 7.4.5, 8.2.6

9.3 Task Dependence-Termination of Tasks 6.1.2, 6.2.3, 6.3

9.4 Protected Units and Protected Objects 4.1.10, 5.9.9, 6.1.1, 6.1.2, 6.1.4, 6.1.5, 6.1.6, 6.1.8, 6.2.1, 10.6.2

9.5 Intertask Communication 4.1.10, 6.1.1, 6.1.2, 6.2

9.5.1 Protected Subprograms and Protected Actions 4.1.10, 5.9.9, 6.1.1, 6.2

9.5.2 Entries and Accept Statements 3.2.5, 4.3.1, 5.1.4, 5.2.1, 5.2.4, 5.6.1, 5.9.4, 6.1.2, 6.1.3, 6.1.6, 6.2, 6.2.1, 6.3.1, 6.3.2, 6.3.4, 7.4.5, 7.4.7

9.5.3 Entry Calls 3.2.5, 4.3.1, 5.1.4, 5.2.1, 5.2.4, 5.6.1, 5.9.4, 6.1.1, 6.1.2, 6.1.6, 6.2, 6.3.1, 6.3.2, 6.3.5, 7.4.5, 7.4.7

9.5.4 Requeue Statements

9.6 Delay Statements, Duration, and Time 6.1.7, 6.2.5, 7.1.2, 7.4.2, 7.4.3

9.7 Select Statements 2.1.2, 5.6.1, 6.2.1, 6.2.6, 6.3.4

9.7.1 Selective Accept 5.9.10, 6.2.1, 6.2.2, 6.2.4, 6.2.5, 6.3.2, 6.3.4, 7.4.4

9.7.2 Timed Entry Calls 4.2.4, 6.1.7, 6.2.5

9.7.3 Conditional Entry Calls 4.2.4, 6.2.5

9.7.4 Asynchronous Transfer of Control

9.8 Abort of a Task-Abort of a Sequence of Statements 5.9.10, 6.3.3, 7.4.6

9.9 Task and Entry Attributes 6.2.3

9.10 Shared Variables 6.1.1, 6.2.4, 7.4.7

9.11 Example of Tasking and Synchronization 4.1.10, 6.1.1, 6.1.2