Pragma Elaboration_Checks (GNAT Reference Manual)

Next: Pragma Eliminate, Previous: Pragma Effective_Writes, Up: Implementation Defined Pragmas [Contents][Index]

2.54 Pragma Elaboration_Checks ¶

Syntax:

pragma Elaboration_Checks (Dynamic | Static);

This is a configuration pragma which specifies the elaboration model to be used during compilation. For more information on the elaboration models of GNAT, consult the chapter on elaboration order handling in the `GNAT User’s Guide'.

The pragma may appear in the following contexts:

Configuration pragmas file
Prior to the context clauses of a compilation unit’s initial declaration

Any other placement of the pragma will result in a warning and the effects of the offending pragma will be ignored.

If the pragma argument is Dynamic, then the dynamic elaboration model is in effect. If the pragma argument is Static, then the static elaboration model is in effect.