Next: , Previous: Pragma Debug, Up: Implementation Defined Pragmas

Pragma Elaboration_Checks


     pragma Elaboration_Checks (RM | Static);

This is a configuration pragma that provides control over the elaboration model used by the compilation affected by the pragma. If the parameter is RM, then the dynamic elaboration model described in the Ada Reference Manual is used, as though the -gnatE switch had been specified on the command line. If the parameter is Static, then the default GNAT static model is used. This configuration pragma overrides the setting of the command line. For full details on the elaboration models used by the GNAT compiler, see section “Elaboration Order Handling in GNAT” in the GNAT User's Guide.