postcondition

美:[pəʊstkən´dɪʃn]   英:[pəʊstkən´dɪʃn]

中文翻译

后置条件

网络解释

后条件; 后续条件; 后验条件

英文短语

  • 1.Postcondition Exception 后置条件异常
  • 2.hypothermia postcondition 低温后适应
  • 3.program postcondition 程序后置条件
  • 4.Strongest postcondition 最强后置条件
  • 5.Task Postcondition - Data Value 任务后置
  • 6.Task Postcondition - Data Existence 任务后置
  • 英文例句

  • 1.Similarly, postcondition tests correspond roughly to after advice.同样,后置条件测试大致与 after 建议对应。
  • 2.There is something wrong with the function; a postcondition is violated.函数本身可能有错,后置条件没有满足。
  • 3.Specifies a postcondition contract for the enclosing method or property.为封闭方法或属性指定一个后置条件协定。
  • 4.An example postcondition: the new balance is the old balance, less the amount withdrawn.后置条件示例:新的余额就是老的余额扣除取款金额。
  • 5.Then, I filled in the Desired outcome section, and skipped down and added a postcondition, and around and around I went.然后,我填写期望的结果部分,添加后置条件,就这样一轮一轮的进行下去。

  • 其他单词翻译

    英文单词 中文含义
    drop-finger

    纬纱探针;槌状指

    网络解释

    纬纱探针; 垂指

    droogie

    n. 小流氓,少年犯

    网络解释

    少年犯; 小流氓

    dropkick

    n. 踢反弹球(球着地,尚未弹起便被踢出去的动作)

    网络解释

    飞身踢; 重脚踢; 飞踢

    drop-shot

    放小球

    吊网前球

    网络解释

    放小球; 吊网前球

    droops

    n. 弯曲或下垂,发蔫( droop的名词复数 )

    v. 弯曲或下垂,发蔫( droop的第三人称单数 )

    网络解释

    露舌状

    drool

    vi. 流口水;对某人或某物流露出痴迷的神情;痴情地看;迷恋地看

    网络解释

    梦话; 垂涎; 淌口水

    drop-forge

    vt.落锤锻造;落锻

    网络解释

    落锻; 冲锻

    dropkicker

    网络解释

    高空跳伞运动员

    drop-shoulder

    肩下垂,肩垂病,下垂肩

    网络解释

    落肩袖; 落肩式; 落肩剪裁

    droopy

    adj. 下垂的,无精打采的

    网络解释

    下垂的; 耷拉的; 无精打采的

    drop-in

    adj.(咨询、服务中心等)不用预约的;立即使用的;(座椅)等嵌入式的;插入即可使用的

    n.非正式造访;不速之客(等于dropper-in)

    网络解释

    插入式; 混入信息; 普适性

    dropleaf

    n.活动翻板

    adj.有可以放下的桌面的

    网络解释

    活动翻板

    dropacism

    n.硬膏脱毛法

    drop-jaw

    颌下垂

    droplet

    n. 小滴,微滴;小水珠

    网络解释

    液滴; 微滴; 飞沫

    dropax

    n.沥青硬膏

    网络解释

    沥青硬膏; 沥青脱毛硬膏

    droplets

    n. 小滴( droplet的名词复数 )

    网络解释

    水滴; 液滴; 雾滴

    droplight

    n. (可上下移动的)吊灯

    网络解释

    悬吊灯; 随车吊机

    dropper-in

    n.偶然的访客;不速之客

    网络解释

    偶然的访客; 不速之客

    droplike

    水滴似的,滴状的