Date: Tue, 30 Jul 1996 10:19:07 +0900 (JST) From: Michael Hancock <michaelh@cet.co.jp> To: FreeBSD hackers <freebsd-hackers@FreeBSD.org> Subject: Re: kernel assertions Message-ID: <Pine.SV4.3.93.960730101153.3087A-100000@parkplace.cet.co.jp> In-Reply-To: <199607292004.WAA04122@uriah.heep.sax.de>
next in thread | previous in thread | raw e-mail | index | archive | help
On Mon, 29 Jul 1996, J Wunsch wrote: > As Michael Hancock wrote: > > > Assertions are the most under-rated software engineering tool I can think > > of. > > But also the IMHO most misnamed tool in the standard. It's (at least > for me as a non-native speaker) absolutely unobvious what happens for > which condition. I had a French professor who decided to call them, REQUIRE and ENSURE. [Function declaration] [REQUIRE: Don't give me bogus arguments or I'll stop] [REAL CODE] ... [ENSURE: I'll guarantee this or I'll stop] [End]
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.SV4.3.93.960730101153.3087A-100000>