Contracts enable specifying conditions that must hold true when the flow of runtime execution reaches the contract. If a contract is not true, then the program is assumed to have entered an undefined state.
Building contract support into the language provides:
- a consistent look and feel for the contracts
- tool support
- the implementation can generate better code using information gathered from the contracts
- easier management and enforcement of contracts
- handling of contract inheritance