note description: "[ Sequences of immutable 8-bit characters, accessible through integer indices in a contiguous range. ]" library: "Free implementation of ELKS library" status: "See notice at end of class." legal: "See notice at end of class." date: "$Date: 2017-04-03 12:38:13 +0000 (Mon, 03 Apr 2017) $" revision: "$Revision: 100094 $" frozen class IMMUTABLE_STRING_8 inherit READABLE_STRING_8 undefine Is_immutable redefine copy, area_lower end IMMUTABLE_STRING_GENERAL rename same_string as same_string_general, same_characters as same_characters_general, same_caseless_characters as same_caseless_characters_general, starts_with as starts_with_general, ends_with as ends_with_general, is_case_insensitive_equal as is_case_insensitive_equal_general, item as character_32_item, has as character_32_has, index_of as character_32_index_of, last_index_of as character_32_last_index_of, occurrences as character_32_occurrences undefine is_equal, out, copy end create make, make_empty, make_filled, make_from_string, make_from_c, make_from_c_substring, make_from_cil, make_from_separate create {IMMUTABLE_STRING_8} make_from_area_and_bounds convert make_from_string ({READABLE_STRING_8, STRING_8}), make_from_cil ({SYSTEM_STRING}), to_cil: {SYSTEM_STRING}, as_string_32: {STRING_32}, as_string_8: {STRING_8} feature {NONE} -- Initialization make_from_area_and_bounds (a: like area; low, n: like count) -- Initialize current with area a with lower bounds low and count n. require a_not_void: a /= Void a_valid_count: (a.count - low) >= count + 1 low_non_negative: low >= 0 n_non_negative: n >= 0 do area := a area_lower := low count := n ensure area_set: area = a area_lower_set: area_lower = low count_set: count = n end make_from_cil (a_system_string: SYSTEM_STRING) -- Initialize Current with a_system_string. local l_count: INTEGER_32 do if a_system_string /= Void then l_count := a_system_string.length + Dotnet_convertor.escape_count (a_system_string) end make (l_count) if l_count > 0 then Dotnet_convertor.read_system_string_into_area_8 (a_system_string, area) count := l_count end end feature {IMMUTABLE_STRING_8} -- Duplication copy (other: like Current) -- Reinitialize by copying the characters of other. -- (This is also used by twin.) do if other /= Current then standard_copy (other) end ensure then new_result_count: count = other.count end feature -- Access item alias "[]" (i: INTEGER_32): CHARACTER_8 -- Character at position i. -- Was declared in IMMUTABLE_STRING_8 as synonym of at. do Result := area.item (i + area_lower - 1) end at alias "@" (i: INTEGER_32): CHARACTER_8 -- Character at position i. -- Was declared in IMMUTABLE_STRING_8 as synonym of item. do Result := area.item (i + area_lower - 1) end character_32_item (i: INTEGER_32): CHARACTER_32 -- Character at position i. do Result := area.item (i + area_lower - 1).to_character_32 end code (i: INTEGER_32): NATURAL_32 -- Numeric code of character at position i. do Result := area.item (i + area_lower - 1).natural_32_code end item_code (i: INTEGER_32): INTEGER_32 -- Numeric code of character at position i. -- Use code instead for consistency with Unicode handling. do Result := area.item (i + area_lower - 1).code end feature -- Element change plus alias "+" (s: READABLE_STRING_GENERAL): like Current local a, a_8: like area i, j, nb: INTEGER_32 l_s32_area: SPECIAL [CHARACTER_32] do create a.make_empty (count + s.count + 1) a.copy_data (area, area_lower, 0, count) if attached {READABLE_STRING_8} s as l_s8 then a.copy_data (l_s8.area, l_s8.area_lower, count, l_s8.count + 1) elseif attached {READABLE_STRING_32} s as l_s32 then create a_8.make_empty (l_s32.count + 1) from i := 0 j := l_s32.area_lower l_s32_area := l_s32.area nb := l_s32.count - 1 until i > nb loop a_8.extend (l_s32_area [j].to_character_8) i := i + 1 j := j + 1 end a_8.extend ('%U') a.copy_data (a_8, 0, count, nb + 2) end create Result.make_from_area_and_bounds (a, 0, count + s.count) end mirrored: like Current -- Mirror image of string; -- Result for "Hello world" is "dlrow olleH". local a: like area do create a.make_empty (count + 1) a.copy_data (area, area_lower, 0, count + 1) mirror_area (a, 0, count - 1) create Result.make_from_area_and_bounds (a, 0, count) end as_lower: like Current -- New object with all letters in lower case. local a: like area do create a.make_empty (count + 1) a.copy_data (area, area_lower, 0, count + 1) to_lower_area (a, 0, count - 1) create Result.make_from_area_and_bounds (a, 0, count) end as_upper: like Current -- New object with all letters in upper case local a: like area do create a.make_empty (count + 1) a.copy_data (area, area_lower, 0, count + 1) to_upper_area (a, 0, count - 1) create Result.make_from_area_and_bounds (a, 0, count) end substring (start_index, end_index: INTEGER_32): like Current -- Copy of substring containing all characters at indices -- between start_index and end_index local a: like area nb: INTEGER_32 do if (1 <= start_index) and (start_index <= end_index) and (end_index <= count) then nb := end_index - start_index + 1 create a.make_empty (nb + 1) a.copy_data (area, area_lower + start_index - 1, 0, nb) a.extend ('%U') create Result.make_from_area_and_bounds (a, 0, nb) else Result := Empty_string end end shared_substring (start_index, end_index: INTEGER_32): like Current do if (1 <= start_index) and (start_index <= end_index) and (end_index <= count) then create Result.make_from_area_and_bounds (area, area_lower + start_index - 1, end_index - start_index + 1) else Result := Empty_string end end is_empty: BOOLEAN -- Is structure empty? do Result := count = 0 end linear_representation: LINEAR [CHARACTER_8] -- Representation as a linear structure local temp: ARRAYED_LIST [CHARACTER_8] i: INTEGER_32 do create temp.make (capacity) from i := 1 until i > count loop temp.extend (item (i)) i := i + 1 end Result := temp end feature {NONE} -- Implementation new_string (n: INTEGER_32): IMMUTABLE_STRING_8 -- New instance of current with space for at least n characters. do create Result.make (n) end Empty_string: IMMUTABLE_STRING_8 -- Shared empty immutable string once create Result.make (0) ensure empty_string_not_void: Result /= Void empty_string_empty: Result.is_empty end feature {READABLE_STRING_8, READABLE_STRING_32} -- Implementation area_lower: INTEGER_32 -- Index where current string starts in area note copyright: "Copyright (c) 1984-2017, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class IMMUTABLE_STRING_8
Generated by ISE EiffelStudio