Re: prohibit certain generic instantiations in Ada 2005

[Martin Krischik <krischik@users.sourceforge.net>]

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