.. _Specialized_Needs_Annexes:

*************************
Specialized Needs Annexes
*************************

Ada 95, Ada 2005, and Ada 2012 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:

*Systems Programming (Annex C)*
  The Systems Programming Annex is fully implemented.


*Real-Time Systems (Annex D)*
  The Real-Time Systems Annex is fully implemented.


*Distributed Systems (Annex E)*
  Stub generation is fully implemented in the GNAT compiler.  In addition,
  a complete compatible PCS is available as part of the GLADE system,
  a separate product.  When the two
  products are used in conjunction, this annex is fully implemented.


*Information Systems (Annex F)*
  The Information Systems annex is fully implemented.


*Numerics (Annex G)*
  The Numerics Annex is fully implemented.


*Safety and Security / High-Integrity Systems (Annex H)*
  The Safety and Security Annex (termed the High-Integrity Systems Annex
  in Ada 2005) is fully implemented.