comp.lang.ada
 help / color / mirror / Atom feed
From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: anonymous access type
Date: Tue, 3 Mar 2009 04:25:59 -0800 (PST)
Date: 2009-03-03T04:25:59-08:00	[thread overview]
Message-ID: <d1fb109a-13d6-4884-9e71-304a58c46e62@w9g2000yqa.googlegroups.com> (raw)

Hi,

Consider a simple callback protocol:

   procedure Call (Process : not null access procedure);

This is widely used for example in the containers library (Iterate
operation).

Now, being a good citizen, I would like to explicitly stress that the
parameter is passed 'in' instead of relying on implicit mode, so let's
add the 'in' keyword where it belongs:

   procedure Call (Process : in not null access procedure);

GNAT says: "anonymous access type definition not allowed here".

I cannot find anything in the standard that would explain this. Any
references are welcome.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com

Database Access Library for Ada: www.inspirel.com/soci-ada



             reply	other threads:[~2009-03-03 12:25 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-03-03 12:25 Maciej Sobczak [this message]
2009-03-03 12:40 ` anonymous access type christoph.grein
2009-03-03 12:44   ` christoph.grein
2009-03-03 13:15     ` Maciej Sobczak
2009-03-03 13:43 ` Jean-Pierre Rosen
2009-03-05  0:00   ` Robert A Duff
2009-03-03 21:03 ` sjw
2009-03-03 22:35   ` Adam Beneschan
2009-03-04  5:47     ` christoph.grein
2009-03-04 16:01       ` Robert A Duff
2009-03-05  1:44         ` Randy Brukardt
2009-03-05  8:52           ` christoph.grein
2009-03-05 11:08             ` Hibou57 (Yannick Duchêne)
2009-03-04  8:30   ` Maciej Sobczak
2009-03-04 23:54 ` Robert A Duff
2009-03-05  8:14   ` Ludovic Brenta
2009-03-05 16:27     ` Rob Norris
2009-03-05 17:51       ` Hibou57 (Yannick Duchêne)
2009-03-09 11:40         ` Rob Norris
2009-03-05 20:25       ` sjw
2009-03-06 12:49         ` Stephen Leake
2009-03-05  8:38   ` Hibou57 (Yannick Duchêne)
2009-03-05 15:05     ` Robert A Duff
2009-03-05 15:18       ` Dmitry A. Kazakov
2009-03-05 17:50       ` Hibou57 (Yannick Duchêne)
2009-03-05 18:35         ` Adam Beneschan
2009-03-06  0:52           ` Hibou57 (Yannick Duchêne)
2009-03-06 16:25             ` Adam Beneschan
replies disabled

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