next up previous contents index
Next: Protocols Up: Interoperability Previous: Co- and Contra-Variance   Contents   Index


Conforms-Relation

The interoperability conditions presented before automatically apply to component types that are part of a conforms- or impl-conforms-relation, respectively. This relation grants contra-variance among component-types. For example component A can be replaced by component B, if A is a sub-type of B.



Snowball 2007-03-16