home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / eiffel / 1385 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  687 b 
  1. Path: sparky!uunet!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!ira.uka.de!smurf.sub.org!artcom0!hb.maus.de!st2.maus.de!Sandor_Scari
  2. From: Sandor_Scari@st2.maus.de (Sandor Scari)
  3. Newsgroups: comp.lang.eiffel
  4. Subject: Re: Semantics of invariants
  5. Message-ID: <A3349@ST2.maus.de>
  6. Date: 17 Dec 92 23:22:00 GMT
  7. Article-I.D.: ST2.A3349
  8. References: <A64269@HB.maus.de>
  9. Organization: MausNet (Mitglied im IN e.V.)
  10. Lines: 6
  11. X-Gateway: MausGate/News 1.14D/hb
  12.  
  13. r>Is the invariant supposed to be true *ALL* the time, once the object is
  14. r>created?
  15. No.  If the invariant is A+B=const you couldn't change A or B.  The invariant
  16. is only true, while no methods of the objact in use is.
  17.  
  18. S\'andor jetzt  @ST2!
  19.