- post condition
- postcondition
- 后置 postposition
- 条件 condition; term; factor
- 埋置条件 planting condition
- 偏置条件 bias condition
- 前置条件 precondition
- 设置条件 set criteria
- 位置条件 site condition
- 代价前置条件 cost precondition
- 富足前置条件 liberal pre condition
- 前置条件, 前缀条件 prefix condition
- 恒最弱前置条件 constant weakest precondition
- 感觉的前置条件作用 sensory preconditioning
- 后置 postposition◇后置词 postposition; 后置定语 postpositive attributive; 后置放大器 post amplifier
- 重置条款 replace clause; replacement clause
- 后置(万分) postf
- 后置泵 rear-mounted pump
- 后置词 postposition; suffix
- 后置的 postpositive
- 后置地 hinterland
- 后置集 post set
- 后置式 post-roll
- 后置水 trailing water
- 后置液 after□pad; overflush fluid; post-pad fluid; subsequent fluid
- 协会重置条款 institute replacement clauses
- 背面,后部,后置 rear
"查查词典"手机版
千万人都在用的超大词汇词典翻译APP
- And of course , the post - condition is an obligation for the supplier
当然,后置条件是服务端的义务。 - This sort of information goes in the postconditions section
此类信息都应填写在“后置条件”部分中。 - What triggers a use case , what are the pre - and post - conditions
一个用例触发什么,前置或后置条件是什么? - You can add assertion statements as the pre - or post - conditions of a method
可以将断言语句作为方法的前置条件或后置条件来添加。 - Include precise preconditions and postconditions with every that you write
你编写的每一个函数都应该包含准确的执行先决条件和后置条件。 - 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为改进的方法增添了提供可选的前置条件和后置条件验证的能力。
Last modified time:Tue, 19 Aug 2025 00:29:56 GMT