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