Other features include class invariants, non-nullable reference types, and enhanced static analysis capabilities.

其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。

youdao

There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts.

还有循环不变式等等，但前置、后置条件和类不变式是基本要素。

youdao

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.

还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。

youdao