---

9 Elaboration Order Handling in GNAT ¶

This appendix describes the handling of elaboration code in Ada and GNAT, and discusses how the order of elaboration of program units can be controlled in GNAT, either automatically or with explicit programming features.

• Elaboration Code
• Elaboration Order
• Checking the Elaboration Order
• Controlling the Elaboration Order in Ada
• Controlling the Elaboration Order in GNAT
• Mixing Elaboration Models
• ABE Diagnostics
• SPARK Diagnostics
• Elaboration Circularities
• Resolving Elaboration Circularities
• Elaboration-related Compiler Switches
• Summary of Procedures for Elaboration Control
• Inspecting the Chosen Elaboration Order