Reply To: class invariant

[hui]

可以这么来理解class invariant：它是附加在每个public方法之上的precondition和postcondition。倒过来看，对所有public方法中同时为precondition和postcondition的predicate提取公因式，便得到class invariant。