|
|
Subcontracting |
Due to polymorphism an instance of a subclass can act as stand in for an instance of the superclass Consequently, the contracts of the subclass must comply with the contract of the superclass The contract of a subclass must therefore be a subcontract of the superclass' contract |
|
Operations in subclasses cannot arbitrarily redefine/override operations in superclasses |