Substitution 是两个 Classifier 之间A关系,表示替换的分类器符合合约分类器指定的合约。这意味着替换分类器的实例是运行时可替换的,其中合约分类器的实例是预期的。在该示例中,名为 ResizableWindow 的类有一个到名为 Window 的类的替换连接器,这意味着无论您在哪里被要求提供一个窗口,您都可以使用一个可调整大小的窗口。
替换关系是依赖关系的子类型。