1·The contract includes invariants, preconditions, and post conditions.
合同包括不变量，先决条件和后置条件。
2·So pre - and post conditions are two fundamental elements of contracts.
因此，前置和后置条件是契约理论的两个基本要素。
3·By this morning's post I have received a pamphlet dealing with conditions in Germany.
今天早上的邮件里我收到一个关于德国情况的小册子。
4·The downturn is 'much worse than I thought it would be, and ignoring market conditions today would only mean deeper cuts down the road,' Mahalo CEO Jason Calacanis wrote in a blog post Thursday.
Mahalo首席执行长杰森·卡拉卡尼斯(Jason Calacanis)周四在一篇博客文章中写道，这次低迷比我想像的要严重的多，现在忽视市场状况只会意味着未来更大幅度的裁员。
5·A positive attitude enhances optimism, helps you manage worries and conditions your thoughts. Developing a positive attitude is a post on it's own but a brief summary of its benefits are as follows.
积极的态度提高乐观主义，帮助你去除担忧和改善状况。
6·Each of these operations can have preconditions and post-conditions, and they can raise exceptions.
每一种操作都具有前提和后期条件，并且它们能够提出例外。
7·As you can see from the sample files that accompany this article (see Download), a similar approach defines post-conditions and invariants.
正如您可以从本文样例文件(参见下载)看到的，一种类似的方法定义了后置条件和不变式。
8·In activity form, you capture the decision conditions as post-conditions of the output criteria.
在活动形式中，决策条件将被捕获为输出条件的后置条件。
9·As the WCRF notes, health advice on regular alcohol consumption takes account of a wide range of conditions, including a protective effect for heart disease in men over 40 and post-menopausal women.
正如世界癌症基金会提到，对于常规酒精消费的健康建议，要考虑到很广泛的条件，包括对超过40的男性和已绝经的女性心脏病的抑制作用。
10·Similarly, at the end of the function, if you know that there are certain post-conditions that should hold, write assertions corresponding to each.
类似地，在函数的末尾，如果您知道应该有某些后置条件，那就编写对应于各项条件的断言。