That is to say, assuming the class invariant was satisfied before the routine was called, the routine must ensure that class invariant is again going to be satisfied on exit.

也就是说，假设类不变式在该例程调用前被满足了，那么例程退出时必须再次确保类不变式得到满足。

youdao

How else is it that we in Africa are much happier and more satisfied than those in the so-called advanced world?

ECONOMIST: Letters

Obama had called for both chambers to pass bills before the break, but now says he is satisfied that progress is being made.

CNN: House health-care negotiations end night without a deal

It is this second version of the letter that was eventually dispatched, and which evidently satisfied its recipient, who called a truce on their differing views of Fry's influence and reputation.

BBC: A Point of View: Mourning the loss of the written word