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;
