当方法结束时,后置条件表示其结果需要满足的契约。
Postconditions are contracts to be met when a methods ends, and are specified with Contract.Ensures() as in the next example
前置条件表示当操作被激发时输入参数和模型状态的可接受值。
Precondition describes the acceptable values of the input parameter and model's state when the operation is invoked.
沃顿先生对赛场条件表示担忧,恶劣的场地条件无助于比赛的进行。
Mr Walton expressed concern that the severely affected areas of the playing surface would not thaw sufficiently for the game to be completed.
这些条件表示程序的失败方式——它们与实现相关,但与问题领域无关,因此它们不属于用例分析。
These conditions represent the failure modes of the program — they are implementation related and have nothing to do with the problem domain, so they don't belong in a use-case analysis.
这些代数条件表示为由椭圆与抛物线,椭圆与双曲线确定的广义特征多项式的根的分布。
The algebraic condition can be represented by the distribution of the roots of the generalized characteristic equation of the ellipse and parabola (hyperbola).
该条件表示转鼓在工作时弹性工作范围最大,它是最大合成工作应力最小原则的一个推广。
This principle, which is an extension of the principle that the maximum synthetic working stress is minimum, shows that the elastic working range of the bowl is maximum.
大部分人对IMF引入如此具有灵活性的贷款而不附带很多条件表示高兴,但对此的疑虑仍然存在。
Most will cheer the IMF for introducing flexible loanmaking without onerous conditionality but concerns remain.
清单5中的条件表示如果将要发布的复合文档不属于clinical_study或pg p_ doc类型,那么就使用StructurePublishService。
The conditions in Listing 5 say that if the compound document to be published is not of type clinical_study or pgp_doc, then use the StructurePublishService.
面对越来越多的对这份计划书的反对意见,首相在12月5日表示,改革特别养老金计划的条件不再是多工作几年。
Facing increasing opposition to this proposal, the prime minister said on December 5 that working more years would no longer be a condition for reforming the special pension schemes.
伦敦帝国理工学院的詹姆斯·边沁是这项研究的合著者之一。他表示,这种全球趋势可能主要归因于营养和医疗条件的改善。
James Bentham, a co-author of the research from Imperial College, London, says the global trend is likely to be due primarily to improvements in nutrition and healthcare.
在此之前,唯一一项分析因果关系的研究对传统观点表示支持,其基于墨西哥一个设立条件性现金转移支付(CCT)政策的地区。
The only previous study analyzing causality, based on an area in Mexico that had instituted CCTs, supported the traditional view.
尤其是可以使用管理数据表示条件。
In particular, expressing conditions using master data is allowed.
这些线表示了依赖于条件的,自这个过程出发的流向。
These lines denote a flow out of the process dependent on a condition.
用户通过单击用应用程序表示的值来选择元数据条件。
The user selects metadata conditions by clicking on values presented by the application.
救援机构表示,那里的卫生和睡眠条件令人震惊。
Aid agencies say sanitary and sleeping conditions have become appalling.
所以你们可以指定一个条件来表示有穷的次数,我们等下将看到。
So finite number of times can you specify with a condition, as we'll see in a moment.
事件数据表示唯一的类型、情况和条件的组合。
An event data represents a unique combination of type, situation, and condition.
在决策表中,行和列表示不同的条件,而结果操作由它们的交点来定义。
In decision tables, rows and columns represent different conditions and the resulting action is defined by their intersections.
“我们强烈的认为这是必须的,”这位外交官在匿名条件下的内部讨论中表示。
"We strongly believe that it should happen," said the diplomat, who spoke on the condition of anonymity to discuss internal deliberations.
除了探讨序列图绘制中必须和可能行为的重要性以外,我还向您介绍了如何在图中表示条件和迭代。
In addition to exploring the significance of must and may behavior in sequence diagramming, I've shown you how to denote conditions and iteration in a diagram.
在一些场合他表示只要身体条件允许他就不会退休。
He has said on several occasions that his health would dictate when he would finally quit.
但博西的要求并没有条件,他明确表示,在未来两年他将支持贝卢斯科尼。
But Mr Bossi's demands were not conditions; he made clear that he would stand by Mr Berlusconi for the next two years.
据伊朗共和国通讯社报道,随后不久,伊朗表示准备“无条件”重返“核燃料交换”的谈判。
Shortly afterwards, Iran said it was prepared to return to negotiations on a nuclear fuel swap "without conditions," according to the official IRNA news agency.
在查询11中,我们将每一个dept和project文档放入XMLEXISTS中传递给XQuery,并在那里表示连接条件。
In Query 12, we pass every dept and project document into the XQuery inside XMLEXISTS and express the join condition there.
我们将这个替换的类型指定为xs:error以表示如果条件得到满足,元素就是无效的。
We assign the type for this alternative to be xs:error to signal that if this condition is satisfied, the element is invalid.
后面将使用false作为判定条件,它表示还没有创建XMLHttpRequest对象。
You'll use false as a condition that means the XMLHttpRequest object hasn't been created yet.
另外,DataBasedMemberFilter可用于根据数据表示的条件过滤维度成员。
Additionally, DataBasedMemberFilter can be used to filter members of a dimension based on conditions represented by data.
另外,DataBasedMemberFilter可用于根据数据表示的条件过滤维度成员。
Additionally, DataBasedMemberFilter can be used to filter members of a dimension based on conditions represented by data.
应用推荐