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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d768e222992aaaab
X-Google-Attributes: gid103376,public
From: je@bton.ac.uk (John English)
Subject: Re: Dispatching In Generics
Date: 1997/06/09
Message-ID: <5ngq7h$mfm@saturn.brighton.ac.uk>#1/1
X-Deja-AN: 247228750
References: <3396EB36.3D14@boeing.com>
Organization: University of Brighton
Newsgroups: comp.lang.ada
Date: 1997-06-09T00:00:00+00:00
List-Id: <comp.lang.ada>


Kevin Ingalls (kevin.l.ingalls@boeing.com) wrote:
: First, I can't find the Ada FAQ, so perhaps the answer to my question is
: there. If you know where it is I would appreciate the address.

http://www.adahome.com (where else!)

: Second, here is my coding question: How do I code a generic so that it
: can take the base type of a hierarchy and perform dispatching on objects
: of that type?

with Xpackage;
generic
   type T is abstract new Xpackage.X with private;
   ...
package gPackage is ...

So in gPackage, you can assume that T is descended from X and use X's
primitives.

Hope this helps.

---------------------------------------------------------------
 John English              | mailto:je@brighton.ac.uk
 Senior Lecturer           | http://www.comp.it.bton.ac.uk/je
 Dept. of Computing        | fax: (+44) 1273 642405
 University of Brighton    |
---------------------------------------------------------------