From: Victor Porton <porton@narod.ru>
Subject: Ada.Containers.Indefinite_Holders in GNAT and Ada2012
Date: Sat, 09 Aug 2014 22:25:15 +0300
Date: 2014-08-09T22:25:15+03:00 [thread overview]
Message-ID: <ls5sio$4pf$1@speranza.aioe.org> (raw)
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.
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 reply other threads:[~2014-08-09 19:25 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-09 19:25 Victor Porton [this message]
2014-08-09 19:43 ` Ada.Containers.Indefinite_Holders in GNAT and Ada2012 Victor Porton
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