Re: General circular buffer example not tied to any specific type

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 04/07/2020 19:00, Daniel wrote:

> I'm looking for any example of ravenscar buffer able for using any type of data at the same time.
> 
> I suppose it will need to serialize all  data and manipulate it as a group of bytes.
> 
> Does any body knows any example of this written in Ada?

Ring buffer of indefinite elements would be OK. As an element you can 
use this:

    type Item (Size : Stream_Element_Count) is record
        Data : Stream_Element_Array (1..Size);
    end record;

Instantiate the generic buffer with this type. Use stream attributes to 
serialize/deserialize.

Alternatively you can do it with Storage_Element in the above and use a 
fake storage pool to store/restore objects. Or a combination "for 
X'Address use Y" with pragma Import (Ada, X);

If the type set is somewhat statically known you can use a variant 
record as an element too.

In some cases you can have a ring buffer of type tags and a set of ring 
buffers. For each type tag you would keep values in a separate ring buffer.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de