home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / cplus / 11701 < prev    next >
Encoding:
Internet Message Format  |  1992-07-28  |  2.0 KB

  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!att!drutx!abasin!weh
  2. From: weh@abasin.dr.att.com (William E. Hopkins)
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: reference to C++ assertion macro package?
  5. Keywords: C++, assertions, precondition, postcondition, invariants
  6. Message-ID: <18760@drutx.ATT.COM>
  7. Date: 28 Jul 92 23:21:08 GMT
  8. References: <18608@drutx.ATT.COM> <1992Jul24.140309.29971@ucc.su.OZ.AU> <1992Jul25.152611.18998@taumet.com> <1992Jul27.191336.6100@microsoft.com>
  9. Sender: news@drutx.ATT.COM
  10. Organization: AT&T Bell Laboratories
  11. Lines: 29
  12.  
  13. In article <1992Jul27.191336.6100@microsoft.com>, jimad@microsoft.com (Jim Adcock) writes:
  14. |> In article <1992Jul25.152611.18998@taumet.com> steve@taumet.com (Steve Clamage) writes:
  15. |> |maxtal@extro.ucc.su.OZ.AU (John MAX Skaller) writes:
  16. |> |>    Does anyone have details of the proposed assertion
  17. |> |>facility for C++?
  18. |> |
  19. |> |The <assert.h> facility from Standard C is part of C++.  I have not seen
  20. |> |any proposals for anything else.  If in particular you mean something
  21. |> |like the pre- and post-conditions for Eiffel classes, I haven't seen any
  22. |> |discussion of them.
  23. |> 
  24. |> Overloading operator->() allows checking pre-conditions on pointers,
  25. |> Overloading operator.() allows checking pre-conditions on references,
  26. |> [if such were permitted] although neither with the convenience nor completeness
  27. |> provided by Eiffel.
  28.  
  29. Annotated C++ (a.k.a. A++) appears to provide much of the same capability as
  30. the pre- and post-conditions and invariants in Eiffel (as I mentioned in my
  31. original posting).  A++ defines a notation and provides a preprocessor to
  32. make it happen.
  33.  
  34. I'm still waiting for a response from a reference librarian on the two A++
  35. references I posted earlier.  Since one of the authors is Doug Lea of
  36. libg++ fame, maybe he knows of other papers on A++ that are more accessible
  37. (I tried the GNU documents that come with Lynx/OS on the off-chance it would
  38. be there...no luck!).
  39.  
  40. Bill Hopkins
  41. william.e.hopkins@att.com
  42.