Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!asuvax!ncar!gatech!prism!hydra.gatech.edu!tynor
From: tynor@hydra.gatech.edu (Steve Tynor)
Newsgroups: comp.lang.eiffel
Subject: Re: Inheritance and Information Hiding
Message-ID: <TYNOR.91Jan31165532@hydra.gatech.edu>
Date: 31 Jan 91 21:55:32 GMT
References: <488@eiffel.UUCP> <1991Jan31.185534.24530@Think.COM>
	<TYNOR.91Jan31145748@hydra.gatech.edu>
	<1991Jan31.213146.4306@Think.COM>
Sender: tynor@prism.gatech.EDU
Organization: Georgia Tech Research Institute
Lines: 23
In-reply-to: barmar@think.com's message of 31 Jan 91 21:31:46 GMT

In article <1991Jan31.213146.4306@Think.COM> barmar@think.com (Barry Margolin) writes:
>>>that RECTANGLE inherits from POLYGON.  Override add_vertex in the RECTANGLE
>>>class with a function that reports an error.
>>The problem with this sort of solution is that it defers detection of the error
>>until run-time. It is very difficult to statically examine your code to
>
>Isn't that what I said?  Here's the first paragraph of the posting you
>quoted above:

Quite right, my appologies, etc. My post was a little too knee-jerkish.

>Also, do you have any response to my point that the programmer will have to
>contort his program so that it is possible to statically determine that it

I'd best wait to respond lest sin again... 

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
inherit STD_DISCLAIMER;
                     
    Steve Tynor
    Georgia Tech Research Institute
    Artificial Intelligence Branch
    tynor@prism.gatech.edu