„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
→‎Vezérlési szerkezetek: visszatérési érték
99. sor:
 
ahol is az <code>invariant</code> és a <code>variant</code> nem kötelező.
 
A rutinok a <code>Result</code> változóban levő értékkel térnek vissza.
 
===Osztályok===