- -- DE Dynamic Elaboration. This unit was compiled with the
- -- dynamic elaboration model, as set by either the -gnatE
- -- switch or pragma Elaboration_Checks (Dynamic).
- --
- -- EB Unit has pragma Elaborate_Body
+ -- BD Unit does not have pragma Elaborate_Body, but the elaboration
+ -- circuit has determined that it would be a good idea if this
+ -- pragma were present, since the body of the package contains
+ -- elaboration code that modifies one or more variables in the
+ -- visible part of the package. The binder will try, but does
+ -- not promise, to keep the elaboration of the body close to
+ -- the elaboration of the spec.
+ --
+ -- DE Dynamic Elaboration. This unit was compiled with the dynamic
+ -- elaboration model, as set by either the -gnatE switch or
+ -- pragma Elaboration_Checks (Dynamic).
+ --
+ -- EB Unit has pragma Elaborate_Body, or is a generic instance that
+ -- has a body. Set for instances because RM 12.3(20) requires
+ -- that the body be immediately elaborated after the spec (we
+ -- would normally do that anyway, because elaborate spec and
+ -- body together whenever possible, and for an instance it is
+ -- always possible; however setting EB ensures that this is done
+ -- even when using the -p gnatbind switch).