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

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

youdao

在本例中，只要是我指定了OVal约束条件的地方，在OVal代码中定义的逻辑就会编入我的代码，进而充当起前置条件和后置条件。

In this case, everywhere I specify an OVal constraint, the logic defined in OVal code will be weaved into my code, thus acting like preconditions and postconditions.

youdao

这些天来，你一直在这样作，一直在签入没有检查其前置条件的代码，而这样作的结果就是某些人将要付出沉重的代价。

One of these days, you dispenser of depraved dementia, you are going to check in code that doesn't check its preconditions, and it's going to cost someone dearly!

youdao

或者你可以写一份代码来明确检查一下前置条件是否满足。

Or you can write code that checks the preconditions explicitly.

youdao

或者你可以写一份代码来明确检查一下前置条件是否满足。

Or you can write code that checks the preconditions explicitly.

youdao