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

["G.B." <bauhaus@futureapps.invalid>]

On 07.04.16 14:05, danielnorberto@gmail.com wrote:
> I will reduce everything to explain the problem better:
>
> generic
> 	Size_bytes : integer;
> package buffer is
> protected
> 	put(msg: string);
> 	Entry get(msg : out string);
> Private
> 	Content : string(1..size_bytes);
> end buffer;

It might assist us in isolating issues if you let the
compiler check the reduced source text above, or we might
incorrectly assume things, including that you might first
want to seize the opportunity and get a firm grip of Ada. :-)

That being said, with profile Ravenscar active, is there
a reason why you can't start from a protected type with
a Size discriminant instead of a generic parameter? Is
it to do with some version of RavenSPARK in the end?

    protected type Buffer (Size : Size_In_Characters) is
       procedure Put (Msg : String);
       entry Get (Msg : out String);
    private
       content : String (1 .. Size);
    end Buffer;

Also note that every String parameter is still allowed to have
an unspecified number of characters, whereas content has
a maximum number of them, and also that Get has no way to inform
its caller about the part of Msg actually filled.