inductive assertion method [数] 归纳断言法
induction assertion method [数] 归纳断言法
pre- and post- assertion method 前后断言法
invariant assertion method 不变断言
method of inductive assertion [数] 归纳断言法
An assertion cannot be used with class variable declarations for instance, but can be placed within any method.
不能将断言同实例的类变量声明一块使用，但却可以将其置于任何方法内。
You can add assertion statements as the pre- or post-conditions of a method.
可以将断言语句作为方法的前置条件或后置条件来添加。
The ContractManager interface defines a different method for each kind of assertion you want to check.
ContractManager接口为要检查的每一种断言定义了不同的方法。
应用推荐