Shortcut evaluation for hierarchy of in contracts
Walter Bright
newshound2 at digitalmars.com
Fri Jul 1 10:49:06 PDT 2011
On 7/1/2011 8:16 AM, David Nadlinger wrote:
> In my opinion, one *is* able to declare the child contract invalid in case 2 –
> if the parent passes but the child fails, it certainly violates the »loosening«
> property of in contract inheritance. If you don't think so, could you please
> explain your doubts in more detail?
The rule for in contracts is:
pass = P || C;
The rule for out contracts is:
pass = P && C;
More information about the Digitalmars-d
mailing list