...e—conditions),它是由断言组成的有限集合,用于指 定动作执行前必须满足的前提条件; 4. 毋为结果公式集(post-conditions),它是由断言组成的有限集合,用于指 定动作执行后将会产生的影响。
基于8个网页-相关网页
Pre-and Post-Conditions 前提条件和后续条件
Unsuccessful Post-Conditions 失败条件
Post Conditions 后置流程
post emergency conditions 事故后状况
post fault conditions 事故后状况
post-treatment conditions 后处理条件
post appointing conditions 职务聘任条件
Lines starting with the comment "check some post-conditions".
以注释“check some post - conditions”开始的行。
You can add assertion statements as the pre- or post-conditions of a method.
可以将断言语句作为方法的前置条件或后置条件来添加。
Post-conditions: Expected results after the execution of the external component.
后置条件: 执行外部组件后的预期结果。
应用推荐