Topic: Design by contract
Author: vm1@unix.bton.ac.uk (Vincent MAHON)
Date: Thu, 24 Feb 1994 15:29:30 GMT Raw View
In Borland C++ ver 4, some assertions are offered (only PRECONDITIONs in fact).
Is this standard C++ ?
Where is it defined (books or periodicals) ?
Does anybody know if Stroustrup will soon release a new version of his reference
manual ? (I think lots of stuff is missing from the last one)
Thank you for any info.
Vinny
Author: russgold@access.netaxs.com (Russell Gold)
Date: 25 Feb 1994 18:49:32 GMT Raw View
Vincent MAHON (vm1@unix.bton.ac.uk) wrote:
: In Borland C++ ver 4, some assertions are offered (only
: PRECONDITIONs in fact).
: Is this standard C++ ?
: Where is it defined (books or periodicals) ?
This is a language-independant technique, although the Eiffel language
does support such assertions explicitly. See "Object-Oriented
Software Construction" by Bertrand Meyer for a good explanation of the
technique.
-----------------------------------------------------------------------------
Russell Gold | This account has nothing to do with my
russgold@netaxs.com (preferred) | employer, and neither do any of my opinions.
russgold@aol.com |