next up previous contents index
Next: Impl-conforms-relation between Implementation Type Up: Conforms-relation Previous: Conforms-relation   Contents   Index

Conforms-relation between Complete Type and Provided Type
A complete type conforms to a provided type, if the complete type provides the same interfaces as the provided type or it offers interfaces that are sub-types of the initially provided interfaces. Of course, the complete type could provide additional provided interfaces.

There are no restrictions at the requires side of the complete type, as the definition of required interfaces of provided types is optional.



Snowball 2007-03-16