„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
→‎Szintaxis és szemantika: Beépített típusok
420. sor:
 
A fordító ad nekik értéket. Ez pótolja a felsorolási típust.
===Tuple===
A TUPLE az Eiffel direkt szorzat típusa. Hasonlít a generikusokra, de nem az, hiszen akárhány paramétere lehet:
 
<code>
<span style="color:blue">
TUPLE[] = TUPLE
 
TUPLE[STRING]
 
TUPLE[STRING, INTEGER]
 
TUPLE[STRING, INTEGER]
 
--...
</span>
</code>
 
ahol is a hosszabb TUPLE a kezdőszeletét tartalmazó TUPLE altípusa. Emellett még teljesül az is, hogy a bővebb típust tartalmazó TUPLE tartalmazó típus:
 
<code>
<span style="color:blue">
TUPLE[] = TUPLE
 
TUPLE[STRING] <: TUPLE[ANY]
 
TUPLE[STRING, INTEGER] <: TUPLE[ANY, ANY]
 
TUPLE[STRING, INTEGER] <: TUPLE[ANY, ANY, ANY]
 
--...
</span>
</code>
 
===Példaprogram===