From f8ace68d28d1ca17861aeab331456afb92dae33e Mon Sep 17 00:00:00 2001 From: halw Date: Fri, 16 Sep 2011 22:16:28 +0000 Subject: [PATCH] Author:halw Date:2011-09-16T22:16:10.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@974 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../current/method/eiffel-tutorial-et/et-instructions.wiki | 2 +- .../method/eiffel-tutorial-et/et-other-mechanisms.wiki | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/documentation/current/method/eiffel-tutorial-et/et-instructions.wiki b/documentation/current/method/eiffel-tutorial-et/et-instructions.wiki index 07ab85e1..459166ee 100644 --- a/documentation/current/method/eiffel-tutorial-et/et-instructions.wiki +++ b/documentation/current/method/eiffel-tutorial-et/et-instructions.wiki @@ -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=== diff --git a/documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki b/documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki index a0170ce8..74422eca 100644 --- a/documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki +++ b/documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki @@ -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