design by contract versus doctest

[Yermat]

Colin Blackburn wrote:
> On Tue, 06 Apr 2004 13:50:02 +0200, Yermat <loic at fejoz.net> wrote:
> 
> 
>> Hi,
>> Not really each time !
>> As it uses "assert", it is turn off by using -O option of python or 
>> by  removing the metaclass ! So it work exactly as DBC implemented in 
>> Eiffel.
> 
> 
> It doesn't work exactly as in Eiffel. In Eiffel it is *part* of the  
> language. Some aspects of DbC can be implemented in other languages but  
> not all (invariants for instance are not straightforward.)

It does work exactly the same in effect even if the syntax is not the 
same. But we're both right.

>> His author is Bertrand Meyer (with an 'e').
>> So please re-read it again !
> 
> 
> I am so sorry that I typed his name incorrectly. Please don't make me 
> read  all 1000 pages again!!

Sometime my fingers are typing without my head. That make things funny.  ;-)

> Colin
> -- 

-- 
Yermat