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