Next: Pragma Eliminate, Previous: Pragma Effective_Writes, Up: Implementation Defined Pragmas [Contents][Index]
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 the chapter on elaboration order handling
in the `GNAT User’s Guide'.