Next: , Previous: , Up: Top   [Contents][Index]

15 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: