The Ada 95 Reference Manual defines a set of pragmas that can be used to supply additional information to the compiler. These language-defined pragmas are implemented in XGC Ada and work as defined.
In addition, the Ada 95 Reference Manual allows implementations to define extra pragmas whose meaning is defined by the implementation. XGC Ada provides a number of these implementation-dependent pragmas, which can be used to extend and enhance the functionality of the compiler. This chapter describes these additional pragmas.