comp.lang.ada
 help / color / mirror / Atom feed
From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: How to do multiple instances of a generic packages in automated way. (using ravenscar profile)
Date: Mon, 11 Apr 2016 10:26:55 -0700 (PDT)
Date: 2016-04-11T10:26:55-07:00	[thread overview]
Message-ID: <3327ab2c-3514-44d9-beba-2300facab204@googlegroups.com> (raw)
In-Reply-To: <d69ef793-c556-495a-a2e8-c6bc8dee88f0@googlegroups.com>

On Monday, April 11, 2016 at 10:21:17 AM UTC-7, Daniel Norber wrote:
> > Indeed, discriminant is allowed in the protected specification only. Since you put it in the protected body, you violated the syntax rule.
> > 
> > Anh Vo
> Thanks, i tried without using it in body.
> 
> but i think this approach fails to fullfill Ravenscar profile.
> 
> Compiler says:
> warning: creation of protected object of type "buffer" with non-static discriminants  will violate restriction "No_Implicit_Heap_Allocation"

Do your requirements really need access protected type implementation? If not, regular protected type does just fine.

  reply	other threads:[~2016-04-11 17:26 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-04-05 17:09 How to do multiple instances of a generic packages in automated way. (using ravenscar profile) danielnorberto
2016-04-05 17:39 ` Jeffrey R. Carter
2016-04-05 19:39   ` Simon Wright
2016-04-07 12:05 ` danielnorberto
2016-04-07 12:36   ` G.B.
2016-04-11  9:14     ` Daniel Norber
2016-04-11 13:04       ` Shark8
2016-04-11 17:25         ` Daniel Norber
2016-04-11 15:58       ` Anh Vo
2016-04-11 17:21         ` Daniel Norber
2016-04-11 17:26           ` Anh Vo [this message]
2016-04-11 16:59       ` Jeffrey R. Carter
2016-04-11 17:23         ` Daniel Norber
2016-04-11 17:27           ` Jeffrey R. Carter
2016-04-12  5:19           ` Brad Moore
2016-04-26 15:08             ` Daniel Norber
2016-05-05 21:01 ` rieachus
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox