Hi,
Not sure if I understand your question at all. But you can explicitly tell the compiler when a string is STRING_32 or should be converted to STRING_32. For example:
{STRING_32} "Hello world"
or
{STRING_32} some_thing.out
Many features uses STRING_8. So if you later uses this string
whit some features that expect STRING_8, this will be converted
and you can lose information (Characters that can't be displayed
with STRING_8). For example "print" expect STRING_8. If you want
display the string as STRING_32 you should use "localized_print"
available at library "encoding".
Germán
--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
Visit this group at https://groups.google.com/group/eiffel-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/20190623075638.cf48dd763fcaf5d42559c6c92f6fc53b.c4b99f7ca6.wbe%40email25.godaddy.com.
For more options, visit https://groups.google.com/d/optout.
<mapping old_name="STRING" new_name="STRING_8"/>
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/24f40b36-bf8b-041b-2f26-fb0c1dce93f8%40gmx.es.
For more options, visit https://groups.google.com/d/optout.
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/CAFq%2Bd46o95LEJTWg8SbzS2f3URe0LBx2mB9Xm9Jk0wygMhiaTw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
-------- Original Message --------
Subject: Re: [eiffel-users] string as string_n
From: Jocelyn Fiat <jf...@eiffel.com>
Date: Mon, June 24, 2019 4:58 am
To: Eiffel Users <eiffel...@googlegroups.com>
Also look at https://www.eiffel.org/doc/eiffelstudio/Type_mapping
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/CAFq%2Bd46KOnQzs%3DQekuxoXSSmnvqOp5M8sn31y7jNGFm-Ukq%2B1g%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/CAB%2BbLA_u3T%2BY0zstSwx9Jrg2JtE_cagwzqMkLUobqbijAvkU5w%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.