这一允诺是在与英国和美国漫长的幕后交涉结束后做出的，而且是卡扎菲为了结束制裁所要满足的条件之一。

This promise came at the end of a long process of behind-the-scenes negotiations with Britain and the United States, and was one of the conditions Colonel Qaddafi met in order to end the sanctions.

youdao

当方法结束时，后置条件表示其结果需要满足的契约。

Postconditions are contracts to be met when a methods ends, and are specified with Contract.Ensures() as in the next example

youdao

当方法结束时，后置条件表示其结果需要满足的契约。

Postconditions are contracts to be met when a methods ends, and are specified with Contract.Ensures() as in the next example

youdao