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