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.
乐普科保留采用相同或更高规格的部件替代已使用部件的权利。
应用推荐