--- Comment #7 from 2012-05-03 02:20:30 PDT ---
(In reply to comment #6)
> Out contracts are "anded" together, meaning that *all* out contracts must pass
> in an inheritance hierarchy. Out contracts in overriding functions do not
> override the out contract in the overridden function, nor are they at all
> associated with any in contracts.

The point here was that they should be. Why should the method work hard to
satisfy the postcondition, if the caller fails to satisfy the corresponding

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to