The main text of the Ada 95 Reference Manual describes the required behavior of all Ada 95 compilers, and subject to the restrictions described in Appendix A, the ERC32 Ada compiler conforms to these requirements.
In addition, there are sections throughout the Ada 95 reference manual headed by the phrase "implementation advice". These sections are not normative, that is they do not specify requirements that compilers must follow. Rather they provide advice on generally desirable behavior.
Using a question and answer format, this chapter gives the reference manual section number, paragraph number and several keywords for each piece of advice. Each entry consists of the text of the advice followed by the ERC32 Ada interpretation of this advice. Most often, this simply says "followed", which means that ERC32 Ada follows the advice. However, in a number of cases, ERC32 Ada deliberately deviates from this advice, in which case the text describes what ERC32 Ada does and why.
If an implementation detects the use of an unsupported Specialized Needs Annex feature at run time, it should raise Program_Error if feasible.
A: Not relevant. All specialized needs annex features are either supported, or diagnosed at compile time.
If an implementation wishes to provide implementation-defined extensions to the functionality of a language-defined library unit, it should normally do so by adding children to the library unit.