1.Previous
3.Next

for the client.
* Maintain a certain property, assumed on entry and guaranteed on exit: the class invariant.

The contract is semantically equivalent to a Hoare triple which formalises the obligations. This can be summarised by the "three questions" that the designer must repeatedly answer in the contract:
* What does the contract expect?
* What does the contract guarantee?
* What does the contract maintain?

Many programming languages

1.Previous
3.Next