契约式设计是 Eiffel 语言设计中的一个核心原则，它认为每个类都可以显式地对它的输入（它的需求）施加约束，说明它将提供什么（它保证的）以及它的不变式（对该类始终为真的语句）。
此外，Eiffel 支持一组丰富的断言语句，从循环构造的验证到灵活的调试机制，到代码有效性的内联检查。
另见维基百科上的 契约式设计 文章
