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.
然后，我填写期望的结果部分，添加后置条件，就这样一轮一轮的进行下去。
This way you can add precondition / postcondition check for both input and output, making it robust against human errors.
这样你可以添加前提/后置条件检查输入和输出，使其健壮的人为错误。
An explicit contract is any contract you declare in a class method, such as a precondition, a postcondition or an invariant.
显式的合同是在类方法中，如前提条件后，置条件或不变声明任何合同。
Postcondition tests are guarantees that the component promises to satisfy when it completes the operation, assuming the preconditions are met.
后置条件测试确保组件完成操作的时候结果符合要求，假设前置条件已经满足。
In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms.
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。
In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms.
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。
应用推荐