后置条件

后置条件

/ hòu zhì tiáo jiàn /

简明

1
post condition
后置条件；

网络释义
专业释义

1
[计] Post-Condition
后置条件（Post-condition）主要是针对方法而言的，它规定了方法顺利执行完毕之后必须满足的条件。
2
End Condition
... Extensions 备选事件流 End Condition 后置条件 Special Requirement 特殊需求 ...
3
postconditions
契约是通过每个方法声明的前置条件(preconditions)和后置条件(postconditions)来指定的.要使一个方法得以执行,前置条件必须为真.

短语

1
后置条件异常
Postcondition Exception
2
后置条件表式
post-conditional expression
3
函数后置条件
post

双语例句

1
合同包括不变量，先决条件和后置条件。
The contract includes invariants, preconditions, and post conditions.
2
后置条件：执行外部组件后的预期结果。
Post-conditions: Expected results after the execution of the external component.
3
后置条件测试通常用方法返回值的断言来表示。
Postconditions are often expressed as assertions about method return values.

查看更多

百科

后置条件
后置条件，英文名称post-condition，意思是指输出定义域上的谓词的布尔值。

点击反馈