透明性：前置和后置条件代码不与业务逻辑混合。
Transparency: The pre - and post-condition code isn't mixed with business logic.
在本例中，只要是我指定了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.
这些天来，你一直在这样作，一直在签入没有检查其前置条件的代码，而这样作的结果就是某些人将要付出沉重的代价。
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!
应用推荐