http://d.puremagic.com/issues/show_bug.cgi?id=7584
--- Comment #7 from timon.g...@gmx.ch 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 precondition? -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
