postcondition

Similarly, postcondition tests correspond roughly to after advice.

同样，后置条件测试大致与 after 建议对应。

There is something wrong with the function; a postcondition is violated.

函数本身可能有错，后置条件没有满足。

Specifies a postcondition contract for the enclosing method or property.

为封闭方法或属性指定一个后置条件协定。

An example postcondition: the new balance is the old balance, less the amount withdrawn.

后置条件示例：新的余额就是老的余额扣除取款金额。

Then, I filled in the Desired outcome section, and skipped down and added a postcondition, and around and around I went.

然后，我填写期望的结果部分，添加后置条件，就这样一轮一轮的进行下去。