|
111
|
1 .. _Specialized_Needs_Annexes:
|
|
|
2
|
|
|
3 *************************
|
|
|
4 Specialized Needs Annexes
|
|
|
5 *************************
|
|
|
6
|
|
|
7 Ada 95, Ada 2005, and Ada 2012 define a number of Specialized Needs Annexes, which are not
|
|
|
8 required in all implementations. However, as described in this chapter,
|
|
|
9 GNAT implements all of these annexes:
|
|
|
10
|
|
|
11 *Systems Programming (Annex C)*
|
|
|
12 The Systems Programming Annex is fully implemented.
|
|
|
13
|
|
|
14
|
|
|
15 *Real-Time Systems (Annex D)*
|
|
|
16 The Real-Time Systems Annex is fully implemented.
|
|
|
17
|
|
|
18
|
|
|
19 *Distributed Systems (Annex E)*
|
|
|
20 Stub generation is fully implemented in the GNAT compiler. In addition,
|
|
|
21 a complete compatible PCS is available as part of the GLADE system,
|
|
|
22 a separate product. When the two
|
|
|
23 products are used in conjunction, this annex is fully implemented.
|
|
|
24
|
|
|
25
|
|
|
26 *Information Systems (Annex F)*
|
|
|
27 The Information Systems annex is fully implemented.
|
|
|
28
|
|
|
29
|
|
|
30 *Numerics (Annex G)*
|
|
|
31 The Numerics Annex is fully implemented.
|
|
|
32
|
|
|
33
|
|
|
34 *Safety and Security / High-Integrity Systems (Annex H)*
|
|
|
35 The Safety and Security Annex (termed the High-Integrity Systems Annex
|
|
|
36 in Ada 2005) is fully implemented.
|
|
|
37
|
