On 12/21/2014 11:18 PM, Daniel Murphy wrote:
"Walter Bright" wrote in message news:[email protected]...Invariants should be checking the state of the object that it owns, not other objects. I would consider such an invariant invalid.What? No. This is a perfectly valid use of invariants:
It all depends on how invariant is defined. It's defined as an invariant on what it owns, not whatever is referenced by the object.
