目前代码契约组件中包含三种契约条件：前置条件（pre-conditions）、对象不变量（object invariants）、及后置条件（post-conditions）。前置条件可检查构造函数或方法的调用是否得到了正确的参数。
基于20个网页-相关网页
Object Invariants are conditions specified for each instances of a class.
对象不变量则为每个实例指定条件。
Object invariants are used to enforce certain conditions on objects to make sure they don't obtain illegal values.
对象不变量则将特定条件运用于对象的状态上，确保其不会拥有非法的值。
Vision is the best perception system of human. Vision invariants for planar object recognition catch our attention.
视觉是人类最完善的感知系统，基于视觉不变量的平面目标识别方法近年来得到广泛的关注。
应用推荐