home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / eiffel / 1372 < prev    next >
Encoding:
Text File  |  1992-12-16  |  1002 b   |  28 lines
  1. Newsgroups: comp.lang.eiffel
  2. Path: sparky!uunet!psinntp!bony1!richieb
  3. From: richieb@bony1.bony.com (Richard Bielak)
  4. Subject: Semantics of invariants
  5. Message-ID: <1992Dec15.213603.16406@bony1.bony.com>
  6. Organization: multi-cellular
  7. Date: Tue, 15 Dec 92 21:36:03 GMT
  8. Lines: 18
  9.  
  10. Is the invariant supposed to be true *ALL* the time, once the object is
  11. created? 
  12.  
  13. If this is so, you can imagine each object having an "invariant-checker"
  14. running continously on another processor.
  15.  
  16. Or is it OK to invalidate the invariant while inside the object's routines,
  17. as long as the invariant is true on exit.
  18.  
  19. What if one object routine calls another? What about recursive routines?
  20.  
  21.  
  22. ...richie
  23. -- 
  24. * Richie Bielak   (212)-815-3072   |                                          *
  25. * Internet:       richieb@bony.com | Rule #1: Don't sweat the small stuff.    *
  26. * Bang {uupsi,uunet}!bony1!richieb | Rule #2: It's all small stuff.           *
  27. *    - Strictly my opinions -      |                                          *
  28.