STRING as STRING_8 or STRING_32

[Joachim Baran]

Hello,

I came across the release notes of EiffelStudio 5.7 where it says that
STRING can be either STRING_8 or STRING_32, but it is STRING_8 by
default.

Unfortunately, I cannot find where this mapping is made (in
EiffelStudio 6.4). I had a look at the base libraries, but I could
only spot definitions for STRING_8 and STRING_32.

Is there a book or some online documentation about these features that
are available in EiffelStudio?

Thanks,
Joachim

--
B.1079 Michael Smith Building
Faculty of Life Sciences
The University of Manchester
Oxford Road
Manchester
M13 9PT
United Kingdom

[Emmanuel Stapf]

> I came across the release notes of EiffelStudio 5.7 where it says that
> STRING can be either STRING_8 or STRING_32, but it is STRING_8 by
> default.
>
> Unfortunately, I cannot find where this mapping is made (in
> EiffelStudio 6.4). I had a look at the base libraries, but I could
> only spot definitions for STRING_8 and STRING_32.

The mapping is done in the EiffelBase library and by saying that it has STRING
equivalent to STRING_8, all libraries using it will recognize STRING as STRING_8.
If you need to change the mapping in your code, then you need to add a mapping.
This can be done using the project setting dialog. See
http://docs.eiffel.com/book/eiffelstudio/type-mapping for more details.

Regards,
Manu

[Joachim Baran]

2009/10/2 Emmanuel Stapf [ES] <[hidden email]>
> The mapping is done in the EiffelBase library and by saying that it has STRING
> equivalent to STRING_8, all libraries using it will recognize STRING as STRING_8.
> If you need to change the mapping in your code, then you need to add a mapping.
> This can be done using the project setting dialog. See
> http://docs.eiffel.com/book/eiffelstudio/type-mapping for more details.
That was easier than I expected!

Thanks,
Joachim

--
B.1079 Michael Smith Building
Faculty of Life Sciences
The University of Manchester
Oxford Road
Manchester
M13 9PT
United Kingdom