还有循环不变式等等,但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts.
如此看来,类不变式好像是被附加到了类暴露例程的前置和后置条件上。
It's as if the class invariant is added to the pre - and post-condition of every single exported routine of the class.
还有循环契约要素条件不变式等等,但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts.
应用推荐