9.11 Mixing Elaboration Models

It is possible to mix units compiled with a different elaboration model, however the following rules must be observed:

• * A client unit compiled with the dynamic model can only `with' a server unit that meets at least one of the following criteria:
  • - The server unit is compiled with the dynamic model.
  • - The server unit is a GNAT implementation unit from the Ada, GNAT, Interfaces, or System hierarchies.
  • - The server unit has pragma Pure or Preelaborate.
  • - The client unit has an explicit Elaborate_All pragma for the server unit.

These rules ensure that elaboration checks are not omitted. If the rules are violated, the binder emits a warning:

warning: "x.ads" has dynamic elaboration checks and with's
warning:   "y.ads" which has static elaboration checks

The warnings can be suppressed by binder switch -ws.