home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / eiffel / 1374 < prev    next >
Encoding:
Internet Message Format  |  1992-12-16  |  1.0 KB
  1. Path: sparky!uunet!think.com!sdd.hp.com!ux1.cso.uiuc.edu!moe.ksu.ksu.edu!cis.ksu.edu!saiid
  2. From: saiid@cis.ksu.edu (Saiid Paryavi)
  3. Newsgroups: comp.lang.eiffel
  4. Subject: Re: Semantics of invariants
  5. Date: 16 Dec 92 15:46:25 GMT
  6. Organization: Kansas State University
  7. Lines: 19
  8. Message-ID: <saiid.724520879@castor.cis.ksu.edu.cis.ksu.edu>
  9. References: <1992Dec15.213603.16406@bony1.bony.com>
  10. NNTP-Posting-Host: castor.cis.ksu.edu
  11.  
  12. richieb@bony1.bony.com (Richard Bielak) writes:
  13.  
  14. >Is the invariant supposed to be true *ALL* the time, once the object is
  15. >created? 
  16.  
  17. >If this is so, you can imagine each object having an "invariant-checker"
  18. >running continously on another processor.
  19.  
  20. >Or is it OK to invalidate the invariant while inside the object's routines,
  21. >as long as the invariant is true on exit.
  22.  
  23. >What if one object routine calls another? What about recursive routines?
  24.  
  25.  
  26. Invariants are checked at the time of object creation and every time a routine
  27. is exited.  Invariants should not be checked during the execution of a routine`s
  28. body.
  29.  
  30.  
  31.