目前代码契约组件中包含三种契约条件：前置条件（pre-conditions）、对象不变量（object invariants）、及后置条件（post-conditions）。前置条件可检查构造函数或方法的调用是否得到了正确的参数。
基于24个网页-相关网页
对象不变量则为每个实例指定条件。
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.
代数型是数学中重要的基本概念，代数不变量是代数学的重要研究对象之一，也是数学与其它领域研究与应用的一个重要工具。
The conventional studies of algebraic invariants and geometrical properties are that these invariants are derived for planar objects using points, lines from one single image.
应用推荐