Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!spool.mu.edu!munnari.oz.au!metro!usage.csd.unsw.oz.au!sphinx!pta!yarra!bacchus!matt From: matt@bacchus.esa.oz (Matt Atterbury) Newsgroups: comp.lang.eiffel Subject: Re: A question on generic parameters Message-ID: Date: 18 Apr 91 23:16:53 GMT References: <1203@nikhefh.nikhef.nl> <1133@tetrauk.UUCP> Sender: matt@bacchus.esa.oz.au Organization: Expert Solutions Australia. Lines: 33 In-reply-to: rick@tetrauk.UUCP's message of 15 Apr 91 12:17:43 GMT In article <1133@tetrauk.UUCP> rick@tetrauk.UUCP (Rick Jones) writes: : With the current version of Eiffel it is a non-problem, since the language now supports "constrained genericity", ... : class SORTED_LIST [T -> PART_COMPAR] can you constrain T to more than one superclass (since Eiffel has multiple inheritance), or do you have to fake a class which inherits from the relevant superclasses and constrain it to that? e.g. class SORT_GRAPHIC_LIST [T -> PART_COMPAR, GRAPHIC] vs. define class SORTABLE_GRAPHIC, which inherits from PART_COMPAR and GRAPHIC, then class SORT_GRAPHIC_LIST [T -> SORTABLE_GRAPHIC] regards ... -- ------------------------------------------------------------------------------- Matt Atterbury [matt@bacchus.esa.oz.au] Expert Solutions Australia, Melbourne UUCP: ...!uunet!munnari!matt@bacchus.esa.oz.au "klaatu barada nikto" or: ...!uunet!murtoa!bacchus.esa.oz.au!matt "consider this a divorce" ARPA: matt%bacchus.esa.oz.AU@uunet.UU.NET "life? don't talk to me about life!"