Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!cica!iuvax!noose.ecn.purdue.edu!venus.ecn.purdue.edu!giacomet
From: giacomet@venus.ecn.purdue.edu (Frederic B Giacometti)
Newsgroups: comp.lang.eiffel
Subject: assertions on deferred features
Message-ID: <1990Sep6.184123.22260@ecn.purdue.edu>
Date: 6 Sep 90 18:41:23 GMT
Sender: news@ecn.purdue.edu (USENET news)
Organization: Purdue University Engineering Computer Network
Lines: 17

A question concerning deferred features and their assertions in the ISE
implementation of the language:
   Pre and post conditions (require and insure assertions)
associated to the definition of deferred features do not appear
on the "flat" version of the descendent effective classes. So my
question is:
   Are assertions associated with deferred definitions
inforced by the language implementation (and then there's a bogus
in the flat program), or do I have to restate them myself in the
effective definition (and then the implementation has a bogus) ? 


Thanks,

Frederic Giacometti
School of Industrial Engineering
Purdue University