Introduction object-oriented programming

[Mike Meyer]

"Donnal Walter" <donnalcwalter at yahoo.com> writes:

> [OT] One of Eiffel's strengths is design by contract (DBC). I've considered
> implementing one of the published recipes for EiffelMethods in Python, but I
> wonder, is DBC is really necessary if one uses unit tests compulsively?

I don't know about "necessary", but there are uses for DbC that unit
testing can't cover, and uses for unit testing that DbC can't cover.
See <URL:
http://scom.hud.ac.uk/staff/scomdjd/public/XP/UT/dbc-and-unittests.html
> for an extended discourse on these topics.

        <mike
-- 
Mike Meyer <mwm at mired.org>			http://www.mired.org/home/mwm/
Independent WWW/Perforce/FreeBSD/Unix consultant, email for more information.