On 8/5/2011 8:08, Warp wrote:
> Darren New<dne### [at] sanrrcom>  wrote:
>> (What would an invariant look like in C?)
>
>    I suppose the closest thing is "assert(a<  b);"

That's not really an invariant, tho. C basically doesn't have the facility 
to say "any time you're not in one of these N functions, there should be the 
following relationship between these collection of values:..."

Primarily because there's no way to express code that's outside any function.

-- 
Darren New, San Diego CA, USA (PST)
   How come I never get only one kudo?

Post a reply to this message