home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / cplus / 11537 < prev    next >
Encoding:
Text File  |  1992-07-25  |  876 b   |  25 lines

  1. Newsgroups: comp.lang.c++
  2. Path: sparky!uunet!taumet!steve
  3. From: steve@taumet.com (Steve Clamage)
  4. Subject: Re: reference to C++ assertion macro package?
  5. Message-ID: <1992Jul25.152611.18998@taumet.com>
  6. Keywords: C++, assertions, precondition, postcondition, invariants
  7. Organization: TauMetric Corporation
  8. References: <18608@drutx.ATT.COM> <1992Jul24.140309.29971@ucc.su.OZ.AU>
  9. Date: Sat, 25 Jul 1992 15:26:11 GMT
  10. Lines: 13
  11.  
  12. maxtal@extro.ucc.su.OZ.AU (John MAX Skaller) writes:
  13.  
  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.  
  23. Steve Clamage, TauMetric Corp, steve@taumet.com
  24. Vice Chair, ANSI C++ Committee, X3J16
  25.