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 c327e7ae..8bbedd17 100644 --- a/documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki +++ b/documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki @@ -158,7 +158,7 @@ Before we get into an example of convertibility, let's list some of its underlyi Let's look at an example that may already be familiar to you. - my_string: STRING + my_string: STRING_8 my_system_string: SYSTEM_STRING … @@ -166,21 +166,21 @@ Let's look at an example that may already be familiar to you. my_string := my_system_string -In the snippet above, we have attributes declared of type STRING and SYSTEM_STRING. +In the snippet above, we have attributes declared of type STRING_8 and SYSTEM_STRING. -We know that if we have a attribute of type STRING that we can make a direct assignment of a .Net type of string (that is, the .Net type System.String which we see as class SYSTEM_STRING) to our STRING attribute. +We know that if we have a attribute of type STRING_8 that we can make a direct assignment of a .Net type of string (that is, the .Net type System.String which we see as class SYSTEM_STRING) to our STRING_8 attribute. -We know also that SYSTEM_STRING does not conform to STRING, so according to the definition of [[ET: Instructions#Assignment and attachment|compatibility]], this must happen through conversion. +We know also that SYSTEM_STRING does not conform to STRING_8, so according to the definition of [[ET: Instructions#Assignment and attachment|compatibility]], this must happen through conversion. -Therefore SYSTEM_STRING converts to STRING. And according to the definition above this means that either: +Therefore SYSTEM_STRING converts to STRING_8. And according to the definition above this means that either: -# Class SYSTEM_STRING has a conversion query listing STRING as a conversion type, or -# Class STRING has a conversion procedure listing SYSTEM_STRING as a conversion type +# Class SYSTEM_STRING has a conversion query listing STRING_8 as a conversion type, or +# Class STRING_8 has a conversion procedure listing SYSTEM_STRING as a conversion type -In this case STRING has a conversion procedure for objects of type SYSTEM_STRING. Conversion procedures are always [[ET: The Dynamic Structure: Execution Model#Creating and initializing objects|creation procedures]]. So they appear in both the create and the convert parts of the class. +In this case STRING_8 has a conversion procedure for objects of type SYSTEM_STRING. Conversion procedures are always [[ET: The Dynamic Structure: Execution Model#Creating and initializing objects|creation procedures]]. So they appear in both the create and the convert parts of the class. - class STRING + class STRING_8 … create make_from_cil @@ -204,16 +204,16 @@ is equivalent to: create my_string.make_from_cil (my_system_string) -So, we've seen how SYSTEM_STRING converts to STRING. But, in the context of our example, we could also do this: +So, we've seen how SYSTEM_STRING converts to STRING_8. But, in the context of our example, we could also do this: my_system_string := my_string -Which means that STRING converts to SYSTEM_STRING. The convert part of class STRING also has a conversion query listing SYSTEM_STRING as a conversion type: +Which means that STRING_8 converts to SYSTEM_STRING. The convert part of class STRING_8 also has a conversion query listing SYSTEM_STRING as a conversion type: - class STRING + class STRING_8 … create make_from_cil