Next: Pragma Eliminate, Previous: Pragma Detect_Blocking, Up: Implementation Defined Pragmas
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.