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


Pragma Elaboration_Checks

Syntax:

     pragma Elaboration_Checks (Dynamic | 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 Dynamic, 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 Elaboration Order Handling in GNAT.