And of course, the post - condition is an obligation for the supplier.

当然, 后 置 条件是服务端的义务.

互联网

Pre - and post - conditions and class invariants are not the only elements of contracts.

契约的要素不光有前 置 、后 置 条件和类不变式.

互联网

Preconditions, postconditions and the order of operations need not be the same.

前提条件 、 后置条件和操作的顺序则不必相同.

互联网

That's the post - condition of the contract, specifically, the post - condition of that particular routine.

这是契约中的后 置 条件, 很多情况下, 也就是某个例程的后 置 条件.

互联网