[gobo-eiffel-develop] [review] UC_STRING.area_lower, and area_upper should be exported to {READABLE_STRING_8, READABLE_STRING_32}

[Jocelyn <li...@dj...>]

Compiling Gobo's with ISE's "full class checking" option enabled, you
can notice that

In class UC_STRING, the feature  `area_lower', `area_upper' should be
exported to {READABLE_STRING_8, READABLE_STRING_32}

Suggestion: following patch

Index: uc_string.e
===================================================================
--- uc_string.e    (revision 76809)
+++ uc_string.e    (working copy)
@@ -70,6 +70,8 @@
                 is_case_insensitive_equal,
                 valid_code,
                 to_string_32
+            {READABLE_STRING_8, READABLE_STRING_32}
+                area_lower, area_upper
             {ANY}
                 is_string_8,
                 valid_index


Regards,
-- Jocelyn
ps: Maybe, there are other similar cases in UC_STRING, and this class
might benefit a deep review to match recent changes of the STRING_*
interface.