The contract specification for BankAccount includes a class-wide invariant that the balance must always be greater than or equal to zero (sorry, no overdrafts allowed!).
BankAccount的接口规范包含一个类范围的不变条件测试，即余额总要大于或等于0(对不起，不允许透支)。
LPKF reserves the right to substitute the components used with components of an equal or higher specification.
乐普科保留采用相同或更高规格的部件替代已使用部件的权利。
LPKF reserves the right to substitute the components used with components of an equal or higher specification.
乐普科保留采用相同或更高规格的部件替代已使用部件的权利。
应用推荐