comparison gcc/ada/doc/gnat_rm/specialized_needs_annexes.rst @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
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