Transparency: The pre - and post-condition code isn't mixed with business logic.

透明性：前置和后置条件代码不与业务逻辑混合。

youdao

The pre-condition and post-condition methods can also see the values passed as function arguments (args).

前置条件和后置条件方法可以看到作为函数参数 （args）传递的值。

youdao

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

当然，后置条件是服务端的义务。

youdao

It's as if the class invariant is added to the pre - and post-condition of every single exported routine of the class.

如此看来，类不变式好像是被附加到了类暴露例程的前置和后置条件上。

youdao

It's as if the class invariant is added to the pre - and post-condition of every single exported routine of the class.

如此看来，类不变式好像是被附加到了类暴露例程的前置和后置条件上。

youdao