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

Added "type conversion" to Convertibility section as a commonly used search term.

Browse Source 
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
This commit is contained in:
halw
2012-09-05 14:34:19 +00:00
parent 87a13581ad
commit a29c6b03f5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -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.