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: fac41,f66d11aeda114c52 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,f66d11aeda114c52 X-Google-Attributes: gid103376,public From: doylep@ecf.toronto.edu (Patrick Doyle) Subject: Re: Design By Contract Date: 1997/09/06 Message-ID: #1/1 X-Deja-AN: 270262360 X-Nntp-Posting-Host: skule.ecf Sender: news@ecf.toronto.edu (News Administrator) References: <872172435.980@dejanews.com> <5u3c6v$gtf$2@miranda.gmrc.gecm.com> <34108452.BAF03BA5@munich.netsurf.de> Organization: University of Toronto, Engineering Computing Facility Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-09-06T00:00:00+00:00 List-Id: In article <34108452.BAF03BA5@munich.netsurf.de>, Joachim Durchholz wrote: >Patrick Doyle wrote: >> >Dynamic binding and "frozen" are orthogonal issues. >> >> Now, have a look at the quote you took, and tell me how it >> contradicts this. > >Nonvirtual C++ functions and frozen Eiffel routines are not the same. I don't disagree with this. My point is that what you quoted did not claim they were the same. However, you've removed the quote and my mail reader no longer has the original, so I can't explain further. -PD -- -- Patrick Doyle doylep@ecf.utoronto.ca