comp.lang.ada
 help / color / mirror / Atom feed
From: matteo.bordin@gmail.com
Subject: prohibit certain generic instantiations in Ada 2005
Date: 9 Feb 2006 10:01:50 -0800
Date: 2006-02-09T10:01:50-08:00	[thread overview]
Message-ID: <1139508110.410006.28260@g14g2000cwa.googlegroups.com> (raw)

There's a way to prohibit certain generic instantiations (I'm using Ada
2005)?
For  example:

generic
     Type B is new A with private;
...

Should be instantiated only with a certain subtype(s) of A.
I know a way to do that in C++ (with templates) but it doesn't seem to
work in Ada.




             reply	other threads:[~2006-02-09 18:01 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-02-09 18:01 matteo.bordin [this message]
2006-02-09 20:02 ` prohibit certain generic instantiations in Ada 2005 Matthew Heaney
2006-02-10 14:18   ` matteo.bordin
2006-02-10 18:25     ` Dmitry A. Kazakov
2006-02-10 19:03       ` Georg Bauhaus
2006-02-11 10:45         ` Dmitry A. Kazakov
2006-02-11  8:04       ` matteo.bordin
2006-02-11  9:54         ` Martin Krischik
2006-02-11 10:20           ` matteo.bordin
2006-02-11 12:46             ` Martin Krischik
2006-02-11 10:45         ` Dmitry A. Kazakov
2006-02-11 22:20           ` Jeffrey R. Carter
2006-02-11 15:36         ` Stephen Leake
2006-02-12  8:55           ` matteo.bordin
2006-02-12  9:49             ` Dmitry A. Kazakov
2006-02-12 12:41               ` matteo.bordin
2006-02-13 19:14             ` Matthew Heaney
replies disabled

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