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

[Anh Vo <anhvofrcaus@gmail.com>]

On Monday, April 11, 2016 at 2:14:15 AM UTC-7, Daniel Norber wrote:
> > 
> > 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.
> 
> I was trying your approach, but maybe there is something im missing because the GNAT ADA compiler says:
> "discriminant part not allowed in protected body"

Indeed, discriminant is allowed in the protected specification only. Since you put it in the protected body, you violated the syntax rule.

Anh Vo