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

[Brad Moore <bmoore.ada@gmail.com>]

On Monday, April 11, 2016 at 11:23:46 AM UTC-6, Daniel Norber wrote:
> > What was presented is a protected type specification. You had to provide the 
> > body, and clearly you made an error in so doing. The error msg gives you the 
> > information you need to correct this error.

You might want to also have a look at the Dequesterity Buffers.

https://sourceforge.net/projects/dequesterity/

The buffer types are composable, meaning you can use lower level implementations to create higher level buffer types.

In the Ravenscar buffers, the size of the buffer is a discriminant for a protected type, so it sounds like what you are trying to do.

Basically, you only need to instantiate the generics once, but can then
create as many objects of that instance as you need.

I have implemented various forms of buffers, including different Ravenscar generic buffers. Some of the Ravenscar specific buffer generics include; 
(Ravenscar_Bounded, 
 Ravenscar_Persistent, 
 Ravenscar_Segmented, 
 Ravenscar_Unbounded,
 Ravenscar_Bounded (Indefinite),
 Ravenscar_Unbounded (Indefinite),
 Ravenscar_Bounded_Priority, 
 Ravenscar_Persistent_Priority, 
 Ravenscar_Segmented_Priority, 
 Ravenscar_Unbounded_Priority
 Ravenscar_Bounded_Priority (Indefinite),
 Ravenscar_Unbounded_Priority (Indefinite),
 Ravenscar_Bounded Stream Buffer,
 Ravenscar_Unbounded Stream Buffer,
 Ravenscar_Persistent Stream Buffer,
 Ravenscar_Segmented Stream Buffer)

Brad