post condition

美

英

un.后置条件
网络后续条件；方法的后置条件

英汉

网络释义

un.

1.

后置条件

例句

释义:

全部全部,后置条件后置条件,后续条件后续条件,方法的后置条件方法的后置条件

类别:全部全部,口语口语,书面语书面语,标题标题,技术技术

来源:全部全部,字典字典,网络网络

难度:全部全部,简单简单,中等中等,难难

更多例句筛选

收起例句筛选

1.

It 's as if the class invariant is added to the pre- and post-condition of every single exported routine of the class.

如此看来，类不变式好像是被附加到了类暴露例程的前置和后置条件上。

2.

Program specification of our research consists of three parts: pre-condition, crosscutable rely-condition and post-condition.

本研究的程序规约包括三个条件：前置条件、可横切依赖条件和后置条件。

3.

Only the post-condition method receives the eventual return value , through the returnValue parameter .

只有后置条件方法可以通过 returnValue 参数接收最终的返回值。

4.

Transparency : The pre- and post-condition code isn't mixed with business logic.

透明性：前置和后置条件代码不与业务逻辑混合。

5.

The pre-condition and post-condition methods can also see the values passed as function arguments (args ).

前置条件和后置条件方法可以看到作为函数参数（args ）传递的值。