Re: How to do multiple instances of a generic packages in automated way. (using ravenscar profile)

[Simon Wright <simon@pushface.org>]

"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> writes:

> If you're using Ada 12, then the standard synchronized-queue
> containers can serve this purpose (assuming they meet all your
> requirements, including the Ravenscar restrictions).

This depends on the actual runtime, which typically imposes further
restrictions; for example, AdaCore's ravenscar-sfp-stm32f4 has

   pragma Restrictions (No_Exception_Propagation);
   --  Only local exception handling is supported in this profile

   pragma Restrictions (No_Exception_Registration);
   --  Disable exception name registration. This capability is not used
   --  because it is only required by exception stream attributes which
   --  are not supported in this run time.

   pragma Restrictions (No_Implicit_Dynamic_Code);
   --  Pointers to nested subprograms are not allowed in this run time,
   --  in order to prevent the compiler from building "trampolines".

   pragma Restrictions (No_Finalization);
   --  Controlled types are not supported in this run time

and the first and last preclude the standard containers (not sure about
synchronized queues, but seems pretty unlikely).