From: Victor Porton <porton@narod.ru>
Subject: Re: Ada.Containers.Indefinite_Holders in GNAT and Ada2012
Date: Sat, 09 Aug 2014 22:43:29 +0300
Date: 2014-08-09T22:43:29+03:00 [thread overview]
Message-ID: <ls5tkt$6g2$1@speranza.aioe.org> (raw)
In-Reply-To: ls5sio$4pf$1@speranza.aioe.org
Victor Porton wrote:
> I tried to write:
>
> Element(Object)'Access;
>
> for "Object" being a value of an instance of
> Ada.Containers.Indefinite_Holders.
>
> This does not work because the return type of Element is not aliased.
By the way, does it makes sense in the next Ada specification to make the
return type of "Element" function aliased?
> Then I tried:
>
> Reference(Object).all'Access;
>
> This does not work because in GNAT 4.9 a-coinho.ads source file is not up
> to date with Ada2012 and there are no Reference function here.
>
> My questions:
>
> 1. How long to wait for GNAT to work with this? (in which GNAT version?)
>
> 2. In a conforming Ada2012 compiler `Reference(Object).all'Access;` is
> semantically correct, isn't it?
>
> In the meantime, I need to write for my private use a container similar to
> Ada.Containers.Indefinite_Holders for aliased objects by myself :-(
>
--
Victor Porton - http://portonvictor.org
next prev parent reply other threads:[~2014-08-09 19:43 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-09 19:25 Ada.Containers.Indefinite_Holders in GNAT and Ada2012 Victor Porton
2014-08-09 19:43 ` Victor Porton [this message]
2014-08-10 13:06 ` Victor Porton
2014-08-10 15:32 ` Simon Wright
2014-08-11 11:01 ` AdaMagica
2014-08-11 15:38 ` Adam Beneschan
2014-08-11 23:58 ` Randy Brukardt
2014-08-09 21:54 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox