后置条件 meaning in English
post condition
postcondition
Examples
- Then , i filled in the desired outcome section , and skipped down and added a postcondition , and around and around i went
然后，我填写期望的结果部分，添加后置条件，就这样一轮一轮的进行下去。 - That is , a postcondition is something that you can check after the use case completes in order to determine the success or failure of the use case
即，可以在用例完成之后检查后置条件，以便确定用例是成功还是失败。 - Warning c6507 : annotation conflict : null property at deref 0 on a post condition must be a subset of the null property on the precondition
警告c6507 ：批注冲突:后置条件中deref = 0处的null属性必须是前置条件中null属性的一个子集 - Similarly , at the end of the function , if you know that there are certain post - conditions that should hold , write assertions corresponding to each
类似地，在函数的末尾，如果您知道应该有某些后置条件，那就编写对应于各项条件的断言。 - In many ways , preconditions and postconditions describe the assumptions that you have made when writing a member function see building object applications that work
通过用许多方式，前提条件和后置条件描述了当编写成员函数以及确切地定义如何使用成员函数的条件时所做的假设（请参阅