You see if me and alex got confused and we know quite well what is
design by contract
then better changed the syntax
Stef
Le 26/2/16 11:50, Alain Rastoul a écrit :
On 26/02/2016 11:26, Alexandre Bergel wrote:
Hi Alain,
Having contract is a valuable effort!
On Feb 26, 2016, at 11:12 AM, Alain Rastoul <[email protected]>
wrote:
<contract: #ensured appliedTo: #( #add: )>
What does that mean?
<contract: #ensured appliedTo: #( #add: )>
Alexandre
Hi Alexandre,
a method with a pragma
<contract: #ensured appliedTo: #( #add: ) >
means it is a check that must be ensured by (enforced by) the method
to which it applies (here add:).
The add: method of the object *must* verify this check, when the check
is executed, it must return true.
May be the terms I've choosed are confusing at first, but it was
voluntary, preCondition, postCondition are too much program execution
oriented IMHO, not enough assertive .
btw it is easy to change:
one could say here:
<contract: postcondition on: #( #add: )>
may be better ?
or may be better to support both ... :)
Alain
