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:
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.