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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8eff44ec1bcf8433 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-10-15 13:31:06 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!cpk-news-hub1.bbnplanet.com!chcgil2-snf1.gtei.net!news.gtei.net!news.huji.ac.il!not-for-mail From: "Ehud Lamm" Newsgroups: comp.lang.ada Subject: Re: Container reqs Date: Mon, 15 Oct 2001 22:15:42 +0200 Organization: The Hebrew University of Jerusalem Message-ID: <9qfglc$7sb$5@news.huji.ac.il> References: <9qctpn$lil$1@news.huji.ac.il> <3BCA173D.FA305845@worldnet.att.net> NNTP-Posting-Host: di4-3.dialin.huji.ac.il X-Trace: news.huji.ac.il 1003177453 8075 132.64.14.3 (15 Oct 2001 20:24:13 GMT) X-Complaints-To: abuse@news.huji.ac.il NNTP-Posting-Date: Mon, 15 Oct 2001 20:24:13 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2014.211 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2014.211 Xref: archiver1.google.com comp.lang.ada:14592 Date: 2001-10-15T22:15:42+02:00 List-Id: James Rogers wrote in message news:3BCA173D.FA305845@worldnet.att.net... > As far as an Ada approach for connecting interfaces, my first > impulse would be to define a set of abstract types for each > category (i.e. sets and lists), then inherit from those types to > create the concrete and generic container classes. > Two options. 1. Make the parent package (where the abstract "interface" types are decalred) generic. 2. Add the Element generic later on (but how are the interface operations defined in this scheme?) I like the first option. It is also quite nice that you can have child units that are class-wide procedures (searching over a sequential type etc.), that automatically get the Element. Ehud