Date: Thu, 26 Feb 1998 11:03:21 +0000 From: njs3@doc.ic.ac.uk (Niall Smart) To: Michael Hancock <michaelh@cet.co.jp>, FreeBSD Hackers <Hackers@FreeBSD.ORG> Subject: Re: cshort - speaking of new utilities Message-ID: <E0y8161-00019s-00@oak71.doc.ic.ac.uk> In-Reply-To: Michael Hancock <michaelh@cet.co.jp> "cshort - speaking of new utilities" (Feb 26, 11:17am)
next in thread | previous in thread | raw e-mail | index | archive | help
On Feb 26, 11:17am, Michael Hancock wrote: } Subject: cshort - speaking of new utilities > Has anyone written something like cshort? > > Level 2 returns pre-conditions and post-conditions. You could probably > make a .cshortrc to specify what these look like. > > cshort -L 2 foo.c > -------------------- > int > foobar(a) > int a; > REQUIRE(a > 0); > ENSURE(retval < 100); Ugh, do you really use this precondition stuff? Niall To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?E0y8161-00019s-00>