英语语法分析

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.

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