Ada 95, Ada 2005, Ada 2012, and Ada 2022 define a number of Specialized Needs Annexes, which are not required in all implementations. However, as described in this chapter, GNAT implements all of these annexes:
The Systems Programming Annex is fully implemented.
The Real-Time Systems Annex is fully implemented.
Stub generation is fully implemented in the GNAT compiler. In addition,
a complete compatible PCS is available as part of PolyORB
,
a separate product. ‘NB!’ See the note in PolyORB regarding the lifetime of this product.
The Information Systems annex is fully implemented.
The Numerics Annex is fully implemented.
The Safety and Security Annex (termed the High-Integrity Systems Annex in Ada 2005) is fully implemented.