---

9 Elaboration Order Handling in GNAT ¶

This appendix describes the handling of elaboration code in Ada and GNAT and discusses how you can control the order of elaboration of program units 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