Fais une recherche sur héritage non-conforme. En bref, l'héritage non-conforme (ou d'implémentations) te permet d'hériter des méthodes/variables du parent mais pas de son type.
Dans le dialecte SmartEiffel (oui, il y a un fork avec Standard Eiffel), le mot-clé insert sert à ça. Si B hérite de A de façon non-conforme, alors un objet de type B pourra utiliser toutes les méthodes héritées de A mais ne pourra pas être affecté à un objet de type A. Au demeurant, toujours en SmartEiffel, il n'y a plus de classe mère de toutes les autres : ANY est "insérée" mais pas "inhéritée" par défaut.
[^] # Re: Qu'est-ce que ça veut dire ?
Posté par ZeGrunt . En réponse à la dépêche Sortie de SmartEiffel 2.2. Évalué à 5.
Dans le dialecte SmartEiffel (oui, il y a un fork avec Standard Eiffel), le mot-clé insert sert à ça. Si B hérite de A de façon non-conforme, alors un objet de type B pourra utiliser toutes les méthodes héritées de A mais ne pourra pas être affecté à un objet de type A. Au demeurant, toujours en SmartEiffel, il n'y a plus de classe mère de toutes les autres : ANY est "insérée" mais pas "inhéritée" par défaut.
A+
ZeGrunt