...s)、对象不变量(object invariants)、断言(assertions)、假定(assumptions)、量词(quantifiers)、接口契约(interface contracts)与抽象方法契约(abstract method contracts)。
基于22个网页-相关网页
Interface as Contracts 作契约的接口
Interface Contracts are used to specify conditions for interfaces.
接口契约为接口指定条件。
We can use a pattern called Double Dispatch to pull out the variation into the subclasses in such a way that we don't break existing interface contracts.
我们可以使用称为双重分发的模式将变化推入子类中，通过这种方式，我们不需要破坏现有的接口定义。
The ability to define specific service interface contracts in the coarse-grained AccountService and StockQuoteService components through SCA's service and reference concepts.
能够通过SCA的服务和引用概念在粗粒度accountservice和StockQuoteService组件中定义特定的服务接口契约。
应用推荐