Object invariant is important in the object-oriented program proof.
对象不变式在面向对象程序的证明中具有重要作用。
Object invariant describes the relationship of the object-oriented data structure, it always holds true after the object creation and on the entrance and exit of the method invocation.
对象不变式描述了面向对象数据结构中元素间的关系,在对象创建后以及方法引用前后它总为真。
A class invariant must hold before and after all method calls (once the object is constructed).
类在方法调用之前和之后必须保持不变(一旦对象已经构建)。
应用推荐