Re: [boost] Re: Programming by contract

From: Miroslav Silovic (miro_at_[hidden])
Date: 2002-10-28 09:28:35

D language wrote:

>Should postcondition be really or'ed? Doesn't a overriden function provide
>alternative functionality and even change the desired postcondition? Perhaps
>pre and post conditions on virtual functions should not be invoked
>automatically. Perhaps only optionally.
>
>  
>
>>   
>>
Contravariance means that anything you can pass as the arguments to the 
parent will also work on the child, and that anything that child returns 
is compatible with what parent may have returned. This translates into 
and/or pair - assuming your code needs polymorphism.

    Miro