Appendix C Elaboration Order Handling in GNAT

• Elaboration Code
• Checking the Elaboration Order
• Controlling the Elaboration Order
• Controlling Elaboration in GNAT - Internal Calls
• Controlling Elaboration in GNAT - External Calls
• Default Behavior in GNAT - Ensuring Safety
• Treatment of Pragma Elaborate
• Elaboration Issues for Library Tasks
• Mixing Elaboration Models
• What to Do If the Default Elaboration Behavior Fails
• Elaboration for Indirect Calls
• Summary of Procedures for Elaboration Control
• Other Elaboration Order Considerations
• Determining the Chosen Elaboration Order

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