home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / eiffel / 1373 < prev    next >
Encoding:
Internet Message Format  |  1992-12-16  |  1.3 KB
  1. Path: sparky!uunet!plsparc!bruce
  2. From: bruce@plsparc.UUCP (Bruce D Mount)
  3. Newsgroups: comp.lang.eiffel
  4. Subject: Re: Semantics of invariants
  5. Message-ID: <391@plsparc.UUCP>
  6. Date: 16 Dec 92 15:17:27 GMT
  7. References: <1992Dec15.213603.16406@bony1.bony.com>
  8. Organization: Personal Library Software, Inc.
  9. Lines: 26
  10.  
  11. In article <1992Dec15.213603.16406@bony1.bony.com> richieb@bony1.bony.com (Richard Bielak) writes:
  12. >Is the invariant supposed to be true *ALL* the time, once the object is
  13. >created? 
  14. >
  15. >Or is it OK to invalidate the invariant while inside the object's routines,
  16. >as long as the invariant is true on exit.
  17. >
  18.  
  19. Well, I probably shouldn't do this from memory but...
  20. I thought it was ok to violate the invarient inside a feature
  21. as long as the invarient held upon feature-exit.  Given this
  22. syncronys model, I don't think a coprocessor to check invarients
  23. is needed IMHO.
  24.  
  25. (BTW Richie, I'm enjoying the series of articles you wrote for
  26. the Sun amgazine I can't currently find :-).  Keep writing...)
  27.  
  28. Sorry for the poor spelling,
  29.  
  30. --Bruce
  31. ============================================================
  32. Bruce Mount             "Another Member of the Eiffel Jihad!"
  33. Personal Library Software
  34. Voice:  (301) 990-1155
  35. e-mail: bruce@pls.com    OR   ...uunet!plsparc!bruce
  36. ============================================================
  37.