|
![](/i/fill.gif) |
Darren New wrote:
> Warp wrote:
>> Orchid XP v8 <voi### [at] dev null> wrote:
>>> Eiffel has preconditions *and* postconditions, which most people don't
>>> seem to bother checking with assert() calls.
>>
>> A little thought experiment: How would you write a comprehensive
>> postcondition to a function that sorts a list/array of elements?
>
> Trivial.
>
> Forall(i < length-1) assert(j[i]<=j[i+1]);
>
> Basically, the definition of sorting. Of course, you need to be able to
> put qualifiers in your assertions.}
A sorting function that, given any input, returns [1,2,3,4,5], will pass
that test.
Try again.
Post a reply to this message
|
![](/i/fill.gif) |