Comment by sterasody

Is this what we refer to as design by contract?

If so, what about invariants? Are invariants related to good interface design?