„Eiffel (programozási nyelv)” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→Szerződések: többszörös öröklődés, újraimplementálás |
→Osztályok: Current |
||
147. sor:
</span>
</code>
Az osztályokban <code>Current</code> jelöli az adott példányt. Az adott példány dinamikus típusára a <code>like Current</code> utal. Ez lehetővé teszi, hogy a rutinok értelmezési tartománya szűküljön az öröklődés folyamán, ami veszélybe sodorja a típusbiztonságot, hiszen az értelmezési tartomány nem szűkíthető típusbiztonságos módon. Ezen a catcall segíthet.
===Öröklődés===
A többszörös öröklődés megengedett:
| |||