Inheritance_covariant_argument_animalshelter.svg


Summary

Description Covariant inheritance in Object-oriented languages (not type safe). In the Eiffel programming language, the argument type of an overriding method can be more specific than in the superclass. In this example, a CatShelter accepts only cats.
Date
Source Own work
Author en:User:Vilhelm.s
Other versions Image:TypunsichereKovarianz Vererbung.svg , Image:Inheritance_covariant_argument.svg
I, the copyright holder of this work, hereby publish it under the following license:
GNU head Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License , Version 1.2 or any later version published by the Free Software Foundation ; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License .

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

22 June 2014