后置条件 meaning in English
post condition
postcondition
Examples
- An example postcondition : the new balance is the old balance , less the amount withdrawn
后置条件示例：新的余额就是老的余额扣除取款金额。 - Statement , which is used for validation of pre - conditions and post - conditions within functions
这些模块扩展了用来确认函数内部的先置条件和后置条件的内置 - Rule in that the precondition and the postcondition are fixed after the rule is defined
规则的相似之处在于：定义了规则以后，前提条件和后置条件是固定的。 - That ' s the post - condition of the contract , specifically , the post - condition of that particular routine
这是契约中的后置条件，很多情况下，也就是某个例程的后置条件。 - Merlin adds the ability to provide optional pre - and post - condition validation to methods for improved testing
Merlin为改进的方法增添了提供可选的前置条件和后置条件验证的能力。