home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / sys / mac / oop / misc / 199 < prev    next >
Encoding:
Internet Message Format  |  1993-01-07  |  2.3 KB
  1. Path: sparky!uunet!spool.mu.edu!olivea!apple!goofy!mumbo.apple.com!gallant.apple.com!wintermute.apple.com!user
  2. From: ksand@apple.com (Kent Sandvik )
  3. Newsgroups: comp.sys.mac.oop.misc
  4. Subject: Re: Learning App Frameworks (was Re: THINK Class Library learning..)
  5. Message-ID: <ksand-060193222337@wintermute.apple.com>
  6. Date: 7 Jan 93 06:27:43 GMT
  7. References: <1992Dec1.220344.234@physc1.byu.edu> <1992Dec3.064131.23364@reed.edu> <Dec.3.13.57.31.1992.18090@gandalf.rutgers.edu> <1992Dec4.081456.13906@reed.edu> <1992Dec29.213057.14290@news.mentorg.com> <6606.2b41845f@hayes.com> <ksand-301292103135@wintermute.apple
  8. Sender: news@gallant.apple.com
  9. Followup-To: comp.sys.mac.oop.misc
  10. Organization: (Evil Eye Creature from Mars, Inc.)
  11. Lines: 32
  12.  
  13. In article <6613.2b459125@hayes.com>, bcoleman@hayes.com (Bill Coleman)
  14. wrote:
  15. > First, the C++ macros were part of the implementation, not part of the
  16. > interface. Eiffel correctly places the pre- and post-conditions in the
  17. > interface -- since they are just as much of the specficiation of the
  18. > routines as anything else. I ended up having to move the implementation
  19. > assertions as comments in the header -- it was a lot of work to keep it up
  20. > to date and accurate.
  21.  
  22. Well, I don't question that a pre-processor that automatically inserts
  23. the constructs is better than programmer responsibility concerning
  24. assertions.
  25. However you could also forget to specify the assertion flag in Eiffel,
  26. causing similar problems. In other words it's not a panacea when a compiler
  27. is automatically doing the job, there's still a responsibility of the
  28. programmer to keep track of the state.
  29.  
  30. Correct me if I'm wrong (haven't looked into Eiffel for a long time,
  31. got tired of waiting for the Mac port :-) ), but you still need to provide
  32. meta-information about the assertion statements for Eiffel (like min max
  33. values). In other words you can't avoid work anyway.
  34.  
  35. Anyway, my ASSERT macro package is less than a page, does it's job well,
  36. and once written I could use it wherever I want, in whatever scope. And 
  37. I don't have problems keeping track of use of the package, it's now second
  38. nature for me to ripple in assert statements in the code.
  39.  
  40. Kent
  41. -------------------
  42. Kent Sandvik (UUCP: ....!apple!ksand; INTERNET: ksand@apple.com)
  43. DISCLAIMER: Private activities on the Net.        
  44. "Don't just do something!  Stand there!"  -- Mystery Science Theater 3000
  45.