[prev in list] [next in list] [prev in thread] [next in thread] 

List:       freebsd-hackers
Subject:    Re: kernel assertions
From:       Michael Hancock <michaelh () cet ! co ! jp>
Date:       1996-07-30 1:19:07
[Download RAW message or body]

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]

[prev in list] [next in list] [prev in thread] [next in thread]