go top

post condition

  • 后置条件

专业释义英英释义

  • 后置条件

·2,447,543篇论文数据,部分数据来源于NoteExpress

Postcondition

  • abstract: In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself.

以上来源于: WordNet

双语例句权威例句

  • Post-natal depression affects around 25 percent of women, but little is known about the condition in men.

    有25%女性患有产后抑郁症然而男性情况则始终备受忽视。

    youdao

  • Apart from that special condition, Ksplice compares pre to post and each difference becomes a splice.

    除了检查这个特殊条件之外Ksplice还对比前内核内核,把每个差异变成一个拼接

    youdao

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

    透明性前置后置条件代码业务逻辑混合

    youdao

更多双语例句
  • How do you respond to the piece from some conservative economist, Feldstein -- Feldstein -- I forget -- Martin Feldstein -- in the Washington Post today that the preexisting condition language in the Democrats' bills would basically encourage people to drop their health insurance.

    WHITEHOUSE: Press Briefing

  • He said there could be a range of causes for the condition, such as post-traumatic stress disorder or Parkinson's Disease.

    BBC: Sleep violence 'common'

  • Post-traumatic stress disorder is a psychiatric condition that can result from experiencing a terrifying danger.

    NPR: Study Tracks Stress Disorder Among Vietnam Vets

更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定