Re: On pragma Precondition etc.

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

Dmitry A. Kazakov schrieb:
> On Tue, 29 Jul 2008 17:55:18 +0200, Georg Bauhaus wrote:

>> What if one precondition states a relation between two suprogram
>> parameters, or between properties of two suprogram parameters?
> 
> This case is equivalent to full multiple dispatch. Ada does not have it. If
> it had multiple dispatch then it would clearer how to deal with the
> corresponding contracts (=conditions).


Design by Contract™ has been made to be a *design* tool.
It starts from the simple truth that we will likely think
about pre/post of subprograms once the language suggests we
can. The checking mechanism supports us by checking our
assumptions as good as it possibly can do this.


DbC is not meant to be reduced to a static proof tool.