From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,262b74f44c7f873e
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news3.google.com!news2.volia.net!newsfeed01.sul.t-online.de!t-online.de!newsfeed.inode.at!news.hispeed.ch!linux2.krischik.com!news
From: Martin Krischik <krischik@users.sourceforge.net>
Newsgroups: comp.lang.ada
Subject: Re: prohibit certain generic instantiations in Ada 2005
Date: Sat, 11 Feb 2006 13:46:22 +0100
Organization: Cablecom Newsserver
Message-ID: <3015220.9aH3bMgOlJ@linux1.krischik.com>
References: <1139508110.410006.28260@g14g2000cwa.googlegroups.com>
 <1139515341.782860.197930@f14g2000cwb.googlegroups.com>
 <1139581110.636535.107910@g44g2000cwa.googlegroups.com>
 <idm74jcpsz3l.147l8qc55x0y6$.dlg@40tude.net>
 <1139645084.563448.239040@g47g2000cwa.googlegroups.com>
 <2199832.3vxpToovbm@linux1.krischik.com>
 <1139653241.544039.47080@f14g2000cwb.googlegroups.com>
NNTP-Posting-Host: 84-74-134-212.dclient.hispeed.ch
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: news.hispeed.ch 1139661996 19811 84.74.134.212 (11 Feb 2006 12:46:36
 GMT)
X-Complaints-To: news@hispeed.ch
NNTP-Posting-Date: Sat, 11 Feb 2006 12:46:36 +0000 (UTC)
User-Agent: KNode/0.10.1
Xref: g2news1.google.com comp.lang.ada:2861
Date: 2006-02-11T13:46:22+01:00
List-Id: <comp.lang.ada>

matteo.bordin@gmail.com wrote:

> I used integer and float as an example. In reality, I want to discern
> on different interface implementation (as in the firsdt example I
> provided).

Something along that line:

generic
   type Base_Object (<>) is abstract tagged limited private;
package AdaCL.Reference.Mixin
end  AdaCL.Reference.Mixin;

generic
   with package RefCounted is new AdaCL.Reference.Mixin (<>);
   type RefCounted_Object (<>) is abstract new RefCounted.Object with
private;
package  AdaCL.Reference.Ptr
end AdaCL.Reference.Ptr;

If you want to know the rest of the packages you can just download AdaCL
(http://adacl.sf).

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com