A question about DbC

["Jérôme M. Berger"]

bearophile wrote:
> J. Berger:
> 
>> 	Jonathan's point is not about running the post-condition and the
>> invariant. It is about running the invariant twice: both before and
>> after the function. This is completely independent from any pre- or
>> post-conditions there may be.
> 
> You are missing something still.
> 
	No.

> ... example pseudo-code

	This is more or less what Jonathan said in his last post.

		Jerome
-- 
mailto:jeberger at free.fr
http://jeberger.free.fr
Jabber: jeberger at jabber.fr

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://lists.puremagic.com/pipermail/digitalmars-d-learn/attachments/20101009/2038ce8a/attachment.pgp>