| 1. | And of course , the post - condition is an obligation for the supplier
当然，后置条件是服务端的义务。 |
| 2. | This sort of information goes in the postconditions section
此类信息都应填写在“后置条件”部分中。 |
| 3. | What triggers a use case , what are the pre - and post - conditions
一个用例触发什么，前置或后置条件是什么？ |
| 4. | You can add assertion statements as the pre - or post - conditions of a method
可以将断言语句作为方法的前置条件或后置条件来添加。 |
| 5. | Include precise preconditions and postconditions with every that you write
你编写的每一个函数都应该包含准确的执行先决条件和后置条件。 |
| 6. | An example postcondition : the new balance is the old balance , less the amount withdrawn
后置条件示例：新的余额就是老的余额扣除取款金额。 |
| 7. | Statement , which is used for validation of pre - conditions and post - conditions within functions
这些模块扩展了用来确认函数内部的先置条件和后置条件的内置 |
| 8. | Rule in that the precondition and the postcondition are fixed after the rule is defined
规则的相似之处在于：定义了规则以后，前提条件和后置条件是固定的。 |
| 9. | That ' s the post - condition of the contract , specifically , the post - condition of that particular routine
这是契约中的后置条件，很多情况下，也就是某个例程的后置条件。 |
| 10. | Merlin adds the ability to provide optional pre - and post - condition validation to methods for improved testing
Merlin为改进的方法增添了提供可选的前置条件和后置条件验证的能力。 |
