There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts.
还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。
Spielberg: we wanted this to really be based on, you know, real people and real situations, because the marines were also fighting 8 malaria and all kinds of the element.
斯皮尔伯格：你知道，我们希望这个故事能基于真实人物，从真实情况出发，因为陆战队员还要对抗疟疾等各种因素。
应用推荐