14 Implementation of Specific Ada Features

This chapter describes the GNAT implementation of several Ada language facilities.

• Machine Code Insertions
• GNAT Implementation of Tasking
• GNAT Implementation of Shared Passive Packages
• Code Generation for Array Aggregates
• The Size of Discriminated Records with Default Discriminants
• Strict Conformance to the Ada Reference Manual