Article View: comp.std.c
Article #5480Re: A Little Quibble
From: William E. Davidsen Jr
Date: Fri, 09 Dec 1988 19:41
Date: Fri, 09 Dec 1988 19:41
17 lines
1027 bytes
1027 bytes
In article <25200001@uicsrd.csrd.uiuc.edu> mcdaniel@uicsrd.csrd.uiuc.edu writes:
| - I would like to declare an invariant like this:
| double nubie;
| . . . compute nubie . . .
| {const double nubie = nubie;
| . . . here, nubie is invariant . . .
| }
How about:
#define nubie ((const int) nubie)
or some such? I don't have the standard handy, but at worst I think you
would have to use another name, although I think there was something
about not recursively evaluating a macro...
--
bill davidsen (wedu@ge-crd.arpa)
{uunet | philabs}!steinmetz!crdos1!davidsen
"Stupidity, like virtue, is its own reward" -me
Technical Details
Message-ID:
<12775@steinmetz.ge.com>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!steinmetz!davidsenReferences:
<25200001@uicsrd.csrd.uiuc.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!steinmetz!davidsen From: davidsen@steinmetz.ge.com (William E. Davidsen Jr) Newsgroups: comp.std.c Subject: Re: A Little Quibble Message-ID: <12775@steinmetz.ge.com> Date: 9 Dec 88 19:41:46 GMT References: <25200001@uicsrd.csrd.uiuc.edu> Reply-To: davidsen@crdos1.UUCP (bill davidsen) Organization: General Electric CRD, Schenectady, NY Lines: 17