From a29c6b03f554f69da66f948b73a160a26f0c2c56 Mon Sep 17 00:00:00 2001 From: halw Date: Wed, 5 Sep 2012 14:34:19 +0000 Subject: [PATCH] Added "type conversion" to Convertibility section as a commonly used search term. Author:halw Date:2012-09-05T14:34:19.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1173 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../current/method/eiffel-tutorial-et/et-other-mechanisms.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ad5bd55d..9e0eaf74 100644 --- a/documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki +++ b/documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki @@ -205,7 +205,7 @@ The validity of a non-object call is restricted in ways that mirror these primar ==Convertibility== -It is useful at times to designate that instances of one type can be created through the controlled conversion of instances of some other type. This can be done through an Eiffel mechanism called '''convertibility'''. +It is useful at times to designate that instances of one type can be created through the controlled conversion of instances of some other type. This can be done through a safe Eiffel type conversion mechanism called '''convertibility'''. Convertibility is useful when refactoring, moving from one design to another, or, as you will see in the example, accommodating external technologies over which we have no control.