Path: utzoo!attcan!uunet!bony1!richieb
From: richieb@bony1.uucp (Richard Bielak)
Newsgroups: comp.lang.eiffel
Subject: Re: Assertions and deferred routines
Message-ID: <1990Oct22.135454.18230@bony1.uucp>
Date: 22 Oct 90 13:54:54 GMT
References: <443@kepler1.kepler.com> <420@eiffel.UUCP> <7185.2721e72b@swift.cs.tcd.ie>
Reply-To: richieb@bony1.UUCP (Richard Bielak)
Organization: Bank of New York
Lines: 21

In article <7185.2721e72b@swift.cs.tcd.ie> cjmchale@swift.cs.tcd.ie writes:

>1. If somebody wants the full pre/postcondition then he must search
>the ancestors of the class for each component. In other words, the
>full pre/postcondition is not visible by inspection of the class.
>

In Eiffel you can simply use the "flat" utility (or flat | short)
to see the complete specification of a class including the
appropriate pre-conditions from all the parents.


...richie



-- 
+----------------------------------------------------------------------------+
|| Richie Bielak  (212)-815-3072      |  If a thousand people say a foolish  |
|| USENET:        richieb@bony.com    |  thing, it's still a foolish thing.  |
+----------------------------------------------------------------------------+