home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / cplus / 11664 < prev    next >
Encoding:
Text File  |  1992-07-28  |  1.1 KB  |  27 lines

  1. Newsgroups: comp.lang.c++
  2. Path: sparky!uunet!microsoft!hexnut!jimad
  3. From: jimad@microsoft.com (Jim Adcock)
  4. Subject: Re: reference to C++ assertion macro package?
  5. Message-ID: <1992Jul27.191336.6100@microsoft.com>
  6. Date: 27 Jul 92 19:13:36 GMT
  7. Organization: Microsoft Corporation
  8. References: <18608@drutx.ATT.COM> <1992Jul24.140309.29971@ucc.su.OZ.AU> <1992Jul25.152611.18998@taumet.com>
  9. Keywords: C++, assertions, precondition, postcondition, invariants
  10. Lines: 15
  11.  
  12. In article <1992Jul25.152611.18998@taumet.com> steve@taumet.com (Steve Clamage) writes:
  13. |maxtal@extro.ucc.su.OZ.AU (John MAX Skaller) writes:
  14. |>    Does anyone have details of the proposed assertion
  15. |>facility for C++?
  16. |
  17. |The <assert.h> facility from Standard C is part of C++.  I have not seen
  18. |any proposals for anything else.  If in particular you mean something
  19. |like the pre- and post-conditions for Eiffel classes, I haven't seen any
  20. |discussion of them.
  21.  
  22. Overloading operator->() allows checking pre-conditions on pointers,
  23. Overloading operator.() allows checking pre-conditions on references,
  24. [if such were permitted] although neither with the convenience nor completeness
  25. provided by Eiffel.
  26.  
  27.