|
关注：1
2013-05-23 12:21
求翻译：It must refrain from causing such events, but of course not everything in life is what it must be, and we may expect that once in a while a routine call will be unable to satisfy its contract — triggering an abnormal signal, producing a final state that violates the postcondition or the invariant, or calling another ro是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
It must refrain from causing such events, but of course not everything in life is what it must be, and we may expect that once in a while a routine call will be unable to satisfy its contract — triggering an abnormal signal, producing a final state that violates the postcondition or the invariant, or calling another ro
问题补充： |
|
2013-05-23 12:21:38
null
|
|
2013-05-23 12:23:18
它必须避免这种事件,但当然不是生活上的是什么它必须和我们可能期望一次例行的呼叫将无法满足其合同-触发异常的信号,产生最终状态。这违反了后置条件或不变、或呼叫另一例程的状态的不满足,例行的前提条件(阿萨姆ing运行添e说法监控在过去的两个案例)。
|
|
2013-05-23 12:24:58
它必须克制导致这样事件，当然，但不是一切在生活中是什么它必须是，并且我们也许期望时常一个定期电话无法满足它的合同-触发一个反常信号，导致违犯postcondition或不变式的一个最终状态或者叫另一个惯例在不满足那个惯例的首要条件assum ing (的状态在前二个案件跑tim e主张监视)。
|
|
2013-05-23 12:26:38
它必须避免造成此类事件，但当然不是生活中的一切是它必须和我们可能期望在某次例程的调用将不能满足其合同 — — 触发异常信号，产生违反后置条件或不变，最终状态或调用另一个例程中不满足常规的前提 (设想 ing 运行 tim e 断言监测在最后两个的情况下) 的状态。
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
