From: Daniel Norber <danielnorberto@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:25:50 -0700 (PDT)
Date: 2016-04-11T10:25:50-07:00 [thread overview]
Message-ID: <8303cac6-79b9-4565-8237-9f3a04d544c0@googlegroups.com> (raw)
In-Reply-To: <7ddd0311-0b41-4ab4-a20d-38ccc15c28da@googlegroups.com>
El lunes, 11 de abril de 2016, 15:04:44 (UTC+2), Shark8 escribió:
> On Monday, April 11, 2016 at 3:14:15 AM UTC-6, Daniel Norber wrote:
> >
> > 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"
>
> Try making a Protected Interface w/ a discriminant, then using a protected type (or perhaps Task type) that implements it. Then, for populating these, yo can try the Ada.Containers.Formal_Indefinite_Vector.
>
> Hope that helps.
Thank you for your help. It seems that protected type with discriminant its not allowed using ravenscar profile restrictions.
Compiler says:
warning: creation of protected object of type "buffer" with non-static discriminants will violate restriction No_Implicit_Heap_Allocation
next prev parent reply other threads:[~2016-04-11 17:25 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 [this message]
2016-04-11 15:58 ` Anh Vo
2016-04-11 17:21 ` Daniel Norber
2016-04-11 17:26 ` Anh Vo
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