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,6009c73a58f787a0 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-01-15 08:56:13 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!netnews.com!xfer02.netnews.com!newsfeed1.cidera.com!Cidera!cyclone.socal.rr.com!cyclone3.kc.rr.com!news3.kc.rr.com!typhoon.san.rr.com!not-for-mail Message-ID: <3C445F34.44697AEF@san.rr.com> From: Darren New X-Mailer: Mozilla 4.77 [en] (Windows NT 5.0; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: How to avoid unreferenced objects (mutexes etc) References: <3c3ee8c8.105408250@News.CIS.DFN.DE> <3c429d1c.2624281@News.CIS.DFN.DE> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Tue, 15 Jan 2002 16:57:03 GMT NNTP-Posting-Host: 66.75.151.160 X-Complaints-To: abuse@rr.com X-Trace: typhoon.san.rr.com 1011113823 66.75.151.160 (Tue, 15 Jan 2002 08:57:03 PST) NNTP-Posting-Date: Tue, 15 Jan 2002 08:57:03 PST Organization: Road Runner Xref: archiver1.google.com comp.lang.ada:18938 Date: 2002-01-15T16:57:03+00:00 List-Id: Matthew Heaney wrote: > Now you're free to derive types from T, and bind derived type instances to > a task. Using this idiom obviates the need for extensible task types. Not really, because there are various operations that may only be applied to entries, and various operations that may only appear in task bodies and hence your T and its derived types cannot affect it. As an example, if your task is coded without any guards on the entries, there's no way for a child of T to add a guard. You can do a fair amount with this idiom, but I wouldn't say it *obviates* the need for extensible tasks. -- Darren New San Diego, CA, USA (PST). Cryptokeys on demand. The opposite of always is sometimes. The opposite of never is sometimes.