home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.c++
- Path: sparky!uunet!microsoft!hexnut!jimad
- From: jimad@microsoft.com (Jim Adcock)
- Subject: Re: reference to C++ assertion macro package?
- Message-ID: <1992Jul27.191336.6100@microsoft.com>
- Date: 27 Jul 92 19:13:36 GMT
- Organization: Microsoft Corporation
- References: <18608@drutx.ATT.COM> <1992Jul24.140309.29971@ucc.su.OZ.AU> <1992Jul25.152611.18998@taumet.com>
- Keywords: C++, assertions, precondition, postcondition, invariants
- Lines: 15
-
- 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.
-
-