目前代码契约组件中包含三种契约条件：前置条件（pre-conditions）、对象不变量（object invariants）、及后置条件（post-conditions）。前置条件可检查构造函数或方法的调用是否得到了正确的参数。
基于20个网页-相关网页
Object Invariants are conditions specified for each instances of a class.
对象不变量则为每个实例指定条件。
youdao
Object invariants are used to enforce certain conditions on objects to make sure they don't obtain illegal values.
对象不变量则将特定条件运用于对象的状态上，确保其不会拥有非法的值。
应用推荐
模块上移
模块下移
不移动