Similarly, postcondition tests correspond roughly to after advice.
同样，后置条件测试大致与after建议对应。
An example postcondition: the new balance is the old balance, less the amount withdrawn.
后置条件示例：新的余额就是老的余额扣除取款金额。
There is something wrong with the function; a postcondition is violated.
函数本身可能有错，后置条件没有满足。
Specifies a postcondition contract for the enclosing method or property.
为封闭方法或属性指定一个后置条件协定。
In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms.
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。
Postcondition tests are guarantees that the component promises to satisfy when it completes the operation, assuming the preconditions are met.
后置条件测试确保组件完成操作的时候结果符合要求，假设前置条件已经满足。
Postcondition tests are guarantees that the component promises to satisfy when it completes the operation, assuming the preconditions are met.
后置条件测试确保组件完成操作的时候结果符合要求，假设前置条件已经满足。
应用推荐