描述

的约束接口类的方法matlab.unittest约束比较逻辑进行编码和相应的诊断信息。每一比较,有条件的可以产生失败的继承约束接口类。

类的派生约束接口类必须提供一种手段来确定一个给定的值满足约束。要做到这一点,实现satisfiedBy方法,它包括底层比较逻辑的定义。类的派生约束类也必须提供一个诊断对于任何给定的实际价值。测试框架使用诊断时遇到一个资格失败。要做到这一点,实现getDiagnosticFor方法。

为了满足这些需求,约束实现很容易通过使用所有资格类型verifyThat,为了,assumeThat,或fatalAssertThat方法。资格使用比较和诊断知识包含在约束。也可以使用约束的情况下测试失败并不是想要的,但是测试框架需要重用逻辑进行了比较。例如,约束实现定义的逻辑可能想使用另一个约束的内部。自约束可以直接与其他约束,它可以使用逻辑没有潜在的导致资格失败。