From owner-freebsd-hackers Thu Feb 26 03:04:28 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id DAA00478 for freebsd-hackers-outgoing; Thu, 26 Feb 1998 03:04:28 -0800 (PST) (envelope-from owner-freebsd-hackers@FreeBSD.ORG) Received: from heron.doc.ic.ac.uk (0o/MqqdTIO8clXkPlwRz69d7eTyEwf0L@heron.doc.ic.ac.uk [146.169.2.31]) by hub.freebsd.org (8.8.8/8.8.8) with SMTP id DAA00454 for ; Thu, 26 Feb 1998 03:04:15 -0800 (PST) (envelope-from njs3@doc.ic.ac.uk) Received: from oak71.doc.ic.ac.uk [146.169.46.71] ([u61bjq5fo5B7idwTPrDUab3qheUn37C6]) by heron.doc.ic.ac.uk with smtp (Exim 1.62 #3) id 0y8167-00035g-00; Thu, 26 Feb 1998 11:03:27 +0000 Received: from njs3 by oak71.doc.ic.ac.uk with local (Exim 1.62 #3) id 0y8161-00019s-00; Thu, 26 Feb 1998 11:03:21 +0000 From: njs3@doc.ic.ac.uk (Niall Smart) Date: Thu, 26 Feb 1998 11:03:21 +0000 In-Reply-To: Michael Hancock "cshort - speaking of new utilities" (Feb 26, 11:17am) X-Mailer: Mail User's Shell (7.2.5 10/14/92) To: Michael Hancock , FreeBSD Hackers Subject: Re: cshort - speaking of new utilities Message-Id: Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG 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