comp.lang.ada
 help / color / mirror / Atom feed
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

  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