它计算被方法或类引用的完全不同的类型的数量。

It is based on the number of distinct types referenced by the method or class.

youdao

只需要将类型库jar放在类路径中，然后在模式中引用这些类型就可以了。

Simply place the type library JAR in the classpath, then reference the types in your schemas.

youdao

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

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

youdao