The contracts are indicators that the programmer has coded reliably and also promises that these guarantees will not change in future revisions of the code.

• 协定是程序员已可靠地编写代码并承诺这些保证不会在将来的代码修订中改变的指示器。