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. Note, that PolyORB is a deprecated product and will be eventually replaced with other technologies such as RTI
.
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.