mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2011-09-16T22:16:10.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@974 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-09-16 22:16:28 +00:00
parent cd2f778fa5
commit f8ace68d28
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/method/eiffel-tutorial-et/et-instructions.wiki
View File

@@ -29,7 +29,7 @@ The rule that governs validity of assignments expands upon this and is generaliz
The phrase "'''compatible with'''" in this rule means that either it "'''conforms to'''" or "'''converts to'''".
We saw conformance defined in the section on [[ET: Inheritance#polymorphism|polymorphism]]. [[ET:Other Mechanisms#convertibility|Convertibility]] is explained in the section on [[ET:Other Mechanisms#convertibility|Other Mechanisms]].
We saw conformance defined in the section on [[ET: Inheritance#polymorphism|polymorphism]]. [[ET: Other Mechanisms#Convertibility|Convertibility]] is explained in the section on [[ET: Other Mechanisms#Convertibility|Other Mechanisms]].
===Conditional===

5
documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki
View File

@@ -136,6 +136,11 @@ The other primary use is for external features. One example is when we use Micro
The validity of a non-object call is restricted in ways that mirror these primary uses. That is, any feature called in a non-object call must be either a constant attribute or an external feature. See the [[ECMA Standard 367|ISO/ECMA Eiffel standard document]] for additional details.
==Convertibility==
It is useful at times to designate the instances of one type can be created through conversion of instance of some other type. This can be done through an Eiffel mechanism called '''convertibility'''.
==Tuple types==
The study of genericity described arrays. Another common kind of container objects bears some resemblance to arrays: sequences, or "tuples", of elements of specified types. The difference is that all elements of an array were of the same type, or a conforming one, whereas for tuples you will specify the types we want for each relevant element. A typical tuple type is of the form