Date: Thu, 1 Aug 1996 15:06:39 +0900 (JST) From: Michael Hancock <michaelh@cet.co.jp> To: David Leonard <leonard@dstc.edu.au> Cc: hackers@freebsd.org Subject: Re: kernel assertions (Rev. 1) Message-ID: <Pine.SV4.3.93.960801150139.20486A-100000@parkplace.cet.co.jp> In-Reply-To: <199608010347.NAA13864@foxtail.dstc.edu.au>
next in thread | previous in thread | raw e-mail | index | archive | help
On Thu, 1 Aug 1996, David Leonard wrote:
> Looking at it again, I think it would raise the readability (and hence
> learnability/searchability(?)) of the FreeBSD source tree no end! In some ways,
You can write a utility that searches all the files in the source tree and
prints out a specification for you like the following ...
void
bremfree(struct buf * bp)
REQUIRE("that bp points to something", bp != NULL);
ENSURE( "that the buffer is no longer queued",
bp->b_qindex == QUEUE_NONE );
...
How's that for documentation?
Regards,
Mike Hancock
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.SV4.3.93.960801150139.20486A-100000>