post condition是什么意思_post condition的中文翻译

后置条件

condition───n.条件；情况；环境；身份；vt.决定；使适应；使健康；以…为条件

post───n.(Post)人名；(英、西、捷、瑞典、荷)波斯特；n.岗位；邮件；标杆；vi.快速行进；vt.张贴；公布；邮递；布置

operating condition───运行状态，运行条件；操作规范；运行条件，运转状态; 工作状况[条件]; 操作规范[条件]; 操纵[控制]条件

dry condition───干工况

rare condition───罕见的情况

unfavorable condition───不利条件；处境不利

heart condition───n.心脏病；心脏病（电影名）

post oflce───post offlce

whipping post───n.绑缚受鞭打犯人的柱子

Transparency: The pre - and post-condition code isn't mixed with business logic.───透明性：前置和后置条件代码不与业务逻辑混合。

He is now in intensive care at a local hospital, unconscious and on a ventilator. Visitors and hospital staff declined to comment on his condition, the Post reported.───现在他正在一家当地医院里接受重症看护，意识仍然没有清醒，且依靠呼吸器呼吸。来访者和医院的工作人员都拒绝透漏任何病情。

I told my captors I'd cooperate on the condition that I would only post the truth - if they wanted me to post anything false or withhold anything true, they'd have to kill me first.───我告诉那些绑架我的人，我愿意与人合作，但我只写事实的真相，如果有谁试图让我写任何虚假的事情，那得先杀了我。

It's as if the class invariant is added to the pre- and post-condition of every single exported routine of the class.───如此看来，类不变式好像是被附加到了类暴露例程的前置和后置条件上。

Program specification of our research consists of three parts: pre-condition, crosscutable rely-condition and post-condition.───本研究的程序规约包括三个条件：前置条件、可横切依赖条件和后置条件。

Only the post-condition method receives the eventual return value, through the returnValue parameter.───只有后置条件方法可以通过returnValue参数接收最终的返回值。

The pre-condition and post-condition methods can also see the values passed as function arguments (args).───前置条件和后置条件方法可以看到作为函数参数（args）传递的值。