Automatic generation produced by ISE Eiffel
indexing description: "[ Sequences of characters, accessible through integer indices in a contiguous range. ]" status: "See notice at end of class" date: "$Date: 2001-11-16 20:32:23 +0000 (Fri, 16 Nov 2001) $" revision: "$Revision: 51435 $" class STRING create make, make_from_string, make_from_c feature {NONE} -- Initialization make (n: INTEGER) is -- Allocate space for at least n characters. require non_negative_size: n >= 0 do count := 0 if n = 0 then area := empty_area else make_area (n + 1) end ensure empty_string: count = 0 area_allocated: capacity >= n end make_area (n: INTEGER) is -- Creates a special object for n entries. -- (from TO_SPECIAL) require -- from TO_SPECIAL non_negative_argument: n >= 0 do create area.make (n) ensure -- from TO_SPECIAL area_allocated: area /= void and then area.count = n end feature -- Initialization adapt (s: STRING): like Current is -- Object of a type conforming to the type of s, -- initialized with attributes from s do create Result.make (0) Result.share (s) end from_c (c_string: POINTER) is -- Reset contents of string from contents of c_string, -- a string created by some external C function. require c_string_exists: c_string /= default_pointer local length: INTEGER do length := str_len (c_string) if capacity < length then make_area (length + 1) end; ($area).memory_copy (c_string, length) count := length ensure no_zero_byte: not has ('%U') end from_c_substring (c_string: POINTER; start_pos, end_pos: INTEGER) is -- Reset contents of string from substring of c_string, -- a string created by some external C function. require c_string_exists: c_string /= default_pointer start_position_big_enough: start_pos >= 1 end_position_big_enough: start_pos <= end_pos + 1 local length: INTEGER do length := end_pos - start_pos + 1 if capacity < length then make_area (length + 1) end; ($area).memory_copy (c_string + (start_pos - 1), (end_pos - start_pos + 1)) count := length ensure valid_count: count = end_pos - start_pos + 1 end make_from_c (c_string: POINTER) is -- Initialize from contents of c_string, -- a string created by some external C function require c_string_exists: c_string /= default_pointer local length: INTEGER do length := str_len (c_string) make_area (length + 1); ($area).memory_copy (c_string, length) count := length end make_from_string (s: STRING) is -- Initialize from the characters of s. -- (Useful in proper descendants of class STRING, -- to initialize a string-like object from a manifest string.) require string_exists: s /= void do area := s.area count := s.count ensure shared_implementation: shared_with (s) end remake (n: INTEGER) is obsolete "Use `make' instead" -- Allocate space for at least n characters. require non_negative_size: n >= 0 do count := 0 make (n) ensure empty_string: count = 0 area_allocated: capacity >= n end feature -- Access area: SPECIAL [CHARACTER] -- Special data zone -- (from TO_SPECIAL) False_constant: STRING is "false" -- Constant string "false" fuzzy_index (other: STRING; start: INTEGER; fuzz: INTEGER): INTEGER is -- Position of first occurrence of other at or after start -- with 0..fuzz mismatches between the string and other. -- 0 if there are no fuzzy matches require other_exists: other /= void other_not_empty: not other.is_empty start_large_enough: start >= 1 start_small_enough: start <= count acceptable_fuzzy: fuzz <= other.count local a: ANY do a := other.area Result := str_str ($area, $a, count, other.count, start, fuzz) end has (c: CHARACTER): BOOLEAN is -- Does string include c? local counter: INTEGER do if not is_empty then from counter := 1 until counter > count or else (item (counter) = c) loop counter := counter + 1 end Result := (counter <= count) end ensure -- from CONTAINER not_found_in_empty: Result implies not is_empty end hash_code: INTEGER is -- Hash code value do Result := hashcode ($area, count) ensure -- from HASHABLE good_hash_value: Result >= 0 end index_of (c: CHARACTER; start: INTEGER): INTEGER is -- Position of first occurrence of c at or after start; -- 0 if none. require start_large_enough: start >= 1 start_small_enough: start <= count + 1 local a: like area i, nb: INTEGER do nb := count if start <= nb then from i := start - 1 nb := nb - 1 a := area until i > nb or else a.item (i) = c loop i := i + 1 end if i <= nb then Result := i + 1 end end ensure correct_place: Result > 0 implies item (Result) = c end item (i: INTEGER): CHARACTER is -- Character at position i -- Was declared in STRING as synonym of @. require -- from TABLE valid_key: valid_index (k) do Result := area.item (i - 1) end item_code (i: INTEGER): INTEGER is -- Numeric code of character at position i require index_small_enough: i <= count index_large_enough: i > 0 do Result := area.item (i - 1).code end last_index_of (c: CHARACTER; start_index_from_end: INTEGER): INTEGER is -- Position of last occurence of c. -- 0 if none require start_index_small_enough: start_index_from_end <= count start_index_large_enough: start_index_from_end >= 1 local a: like area i: INTEGER do from i := start_index_from_end - 1 a := area until i < 0 or else a.item (i) = c loop i := i - 1 end if i >= 0 then Result := i + 1 end ensure correct_place: Result > 0 implies item (Result) = c end shared_with (other: like Current): BOOLEAN is -- Does string share the text of other? do Result := (other /= void) and then (area = other.area) end substring_index (other: STRING; start: INTEGER): INTEGER is -- Position of first occurrence of other at or after start; -- 0 if none. require other_nonvoid: other /= void other_notempty: not other.is_empty start_large_enough: start >= 1 start_small_enough: start <= count local a: ANY do a := other.area Result := str_str ($area, $a, count, other.count, start, 0) ensure correct_place: Result > 0 implies substring (Result, Result + other.count - 1).is_equal (other) end True_constant: STRING is "true" -- Constant string "true" infix "@" (i: INTEGER): CHARACTER is -- Character at position i -- Was declared in STRING as synonym of item. require -- from TABLE valid_key: valid_index (k) do Result := area.item (i - 1) end feature -- Measurement additional_space: INTEGER is -- Proposed number of additional items -- (from RESIZABLE) do Result := (capacity * growth_percentage // 100).max (minimal_increase) ensure -- from RESIZABLE at_least_one: Result >= 1 end capacity: INTEGER is -- Allocated space do Result := area.count - 1 end count: INTEGER -- Actual number of characters making up the string Growth_percentage: INTEGER is 50 -- Percentage by which structure will grow automatically -- (from RESIZABLE) index_set: INTEGER_INTERVAL is -- Range of acceptable indexes do create Result.make (1, count) ensure -- from INDEXABLE not_void: Result /= void ensure then Result.count = count end Minimal_increase: INTEGER is 5 -- Minimal number of additional items -- (from RESIZABLE) occurrences (c: CHARACTER): INTEGER is -- Number of times c appears in the string local counter, nb: INTEGER a: SPECIAL [CHARACTER] do from counter := 0 nb := count - 1 a := area until counter > nb loop if a.item (counter) = c then Result := Result + 1 end counter := counter + 1 end ensure -- from BAG non_negative_occurrences: Result >= 0 end feature -- Comparison is_equal (other: like Current): BOOLEAN is -- Is string made of same character sequence as other -- (possibly with a different capacity)? require -- from ANY other_not_void: other /= void local o_area: like area do if other = Current then Result := True elseif count = other.count then o_area := other.area; Result := str_strict_cmp ($area, $o_area, count) = 0 end ensure -- from ANY symmetric: Result implies other.is_equal (Current) consistent: standard_is_equal (other) implies Result ensure then -- from COMPARABLE trichotomy: Result = (not (Current < other) and not (other < Current)) end max (other: like Current): like Current is -- The greater of current object and other -- (from COMPARABLE) require -- from COMPARABLE other_exists: other /= void do if Current >= other then Result := Current else Result := other end ensure -- from COMPARABLE current_if_not_smaller: Current >= other implies Result = Current other_if_smaller: Current < other implies Result = other end min (other: like Current): like Current is -- The smaller of current object and other -- (from COMPARABLE) require -- from COMPARABLE other_exists: other /= void do if Current <= other then Result := Current else Result := other end ensure -- from COMPARABLE current_if_not_greater: Current <= other implies Result = Current other_if_greater: Current > other implies Result = other end three_way_comparison (other: like Current): INTEGER is -- If current object equal to other, 0; -- if smaller, -1; if greater, 1 -- (from COMPARABLE) require -- from COMPARABLE other_exists: other /= void do if Current < other then Result := - 1 elseif other < Current then Result := 1 end ensure -- from COMPARABLE equal_zero: (Result = 0) = is_equal (other) smaller_negative: (Result = - 1) = (Current < other) greater_positive: (Result = 1) = (Current > other) end infix "<" (other: like Current): BOOLEAN is -- Is string lexicographically lower than other? require -- from PART_COMPARABLE other_exists: other /= void local other_area: like area other_count: INTEGER current_count: INTEGER do other_area := other.area other_count := other.count current_count := count if other_count = current_count then Result := str_strict_cmp ($other_area, $area, other_count) > 0 else if current_count < other_count then Result := str_strict_cmp ($other_area, $area, current_count) >= 0 else Result := str_strict_cmp ($other_area, $area, other_count) > 0 end end ensure then -- from COMPARABLE asymmetric: Result implies not (other < Current) end infix "<=" (other: like Current): BOOLEAN is -- Is current object less than or equal to other? -- (from COMPARABLE) require -- from PART_COMPARABLE other_exists: other /= void do Result := not (other < Current) ensure then -- from COMPARABLE definition: Result = ((Current < other) or is_equal (other)) end infix ">" (other: like Current): BOOLEAN is -- Is current object greater than other? -- (from COMPARABLE) require -- from PART_COMPARABLE other_exists: other /= void do Result := other < Current ensure then -- from COMPARABLE definition: Result = (other < Current) end infix ">=" (other: like Current): BOOLEAN is -- Is current object greater than or equal to other? -- (from COMPARABLE) require -- from PART_COMPARABLE other_exists: other /= void do Result := not (Current < other) ensure then -- from COMPARABLE definition: Result = (other <= Current) end feature -- Status report Changeable_comparison_criterion: BOOLEAN is False empty: BOOLEAN is obsolete "ELKS 2000: Use `is_empty' instead" -- Is there no element? -- (from CONTAINER) do Result := is_empty end Extendible: BOOLEAN is True -- May new items be added? (Answer: yes.) full: BOOLEAN is -- Is structure full? -- (from BOUNDED) do Result := (count = capacity) end is_boolean: BOOLEAN is -- Does Current represent a BOOLEAN? local s: STRING do s := clone (Current) s.right_adjust s.left_adjust s.to_lower Result := s.is_equal (true_constant) or else s.is_equal (false_constant) end is_double: BOOLEAN is -- Does Current represent a DOUBLE? do Result := str_isd ($area, count) end is_empty: BOOLEAN is -- Is structure empty? -- (from FINITE) do Result := (count = 0) end is_hashable: BOOLEAN is -- May current object be hashed? -- (True if it is not its type's default.) -- (from HASHABLE) do Result := (Current /= default) ensure -- from HASHABLE ok_if_not_default: Result implies (Current /= default) end is_inserted (v: CHARACTER): BOOLEAN is -- Has v been inserted by the most recent insertion? -- (By default, the value returned is equivalent to calling -- `has (v)'. However, descendants might be able to provide more -- efficient implementations.) -- (from COLLECTION) do Result := has (v) end is_integer: BOOLEAN is -- Does Current represent an INTEGER? do Result := str_isi ($area, count) end is_real: BOOLEAN is -- Does Current represent a REAL? do Result := str_isr ($area, count) end object_comparison: BOOLEAN -- Must search operations use equal rather than = -- for comparing references? (Default: no, use =.) -- (from CONTAINER) prunable: BOOLEAN is -- May items be removed? (Answer: yes.) do Result := True end resizable: BOOLEAN is -- May capacity be changed? (Answer: yes.) -- (from RESIZABLE) do Result := True end valid_index (i: INTEGER): BOOLEAN is -- Is i within the bounds of the string? do Result := (i > 0) and (i <= count) ensure then -- from INDEXABLE only_if_in_index_set: Result implies ((i >= index_set.lower) and (i <= index_set.upper)) end feature -- Status setting compare_objects is -- Ensure that future search operations will use equal -- rather than = for comparing references. -- (from CONTAINER) require -- from CONTAINER changeable_comparison_criterion do object_comparison := True ensure -- from CONTAINER object_comparison end compare_references is -- Ensure that future search operations will use = -- rather than equal for comparing references. -- (from CONTAINER) require -- from CONTAINER changeable_comparison_criterion do object_comparison := False ensure -- from CONTAINER reference_comparison: not object_comparison end feature -- Element change append (s: STRING) is -- Append a copy of s at end. require argument_not_void: s /= void local new_size: INTEGER s_area: like area do new_size := s.count + count if new_size > capacity then resize (new_size + additional_space) end s_area := s.area; ($area + count).memory_copy ($s_area, s.count) count := new_size ensure new_count: count = old count + old s.count end append_boolean (b: BOOLEAN) is -- Append the string representation of b at end. do append (b.out) end append_character (c: CHARACTER) is -- Append c at end. -- Was declared in STRING as synonym of extend. local current_count: INTEGER do current_count := count if current_count = capacity then resize (current_count + additional_space) end area.put (c, current_count) count := current_count + 1 ensure then item_inserted: item (count) = c new_count: count = old count + 1 end append_double (d: DOUBLE) is -- Append the string representation of d at end. do append (d.out) end append_integer (i: INTEGER) is -- Append the string representation of i at end. do append (i.out) end append_real (r: REAL) is -- Append the string representation of r at end. do append (r.out) end append_string (s: STRING) is -- Append a copy of s, if not void, at end. do if s /= void then append (s) end end copy (other: like Current) is -- Reinitialize by copying the characters of other. -- (This is also used by clone.) require -- from ANY other_not_void: other /= void type_identity: same_type (other) local old_area: like area do if other /= Current then old_area := area standard_copy (other) if old_area = void or else old_area.count < area.count then area := standard_clone (area) else ($old_area).memory_copy ($area, count) area := old_area end end ensure -- from ANY is_equal: is_equal (other) ensure then new_result_count: count = other.count end extend (c: CHARACTER) is -- Append c at end. -- Was declared in STRING as synonym of append_character. require -- from COLLECTION extendible: extendible local current_count: INTEGER do current_count := count if current_count = capacity then resize (current_count + additional_space) end area.put (c, current_count) count := current_count + 1 ensure -- from COLLECTION item_inserted: is_inserted (v) ensure then -- from BAG one_more_occurrence: occurrences (v) = old (occurrences (v)) + 1 ensure then item_inserted: item (count) = c new_count: count = old count + 1 end fill (other: CONTAINER [CHARACTER]) is -- Fill with as many items of other as possible. -- The representations of other and current structure -- need not be the same. -- (from COLLECTION) require -- from COLLECTION other_not_void: other /= void extendible local lin_rep: LINEAR [CHARACTER] do lin_rep := other.linear_representation from lin_rep.start until not extendible or else lin_rep.off loop extend (lin_rep.item) lin_rep.forth end end fill_blank is -- Fill with capacity blank characters. do fill_character (' ') ensure filled: full same_size: (count = capacity) and (capacity = old capacity) end fill_character (c: CHARACTER) is -- Fill with capacity characters all equal to c. do ($area).memory_set (c.code, capacity) count := capacity ensure filled: full same_size: (count = capacity) and (capacity = old capacity) end head (n: INTEGER) is -- Remove all characters except for the first n; -- do nothing if n >= count. require non_negative_argument: n >= 0 do if n < count then count := n end ensure new_count: count = n.min (old count) end insert (s: STRING; i: INTEGER) is -- Add s to the left of position i in current string. require string_exists: s /= void index_small_enough: i <= count index_large_enough: i > 0 local new_size: INTEGER s_area: like area do new_size := s.count + count if new_size > capacity then resize (new_size + additional_space) end s_area := s.area str_insert ($area, $s_area, count, s.count, i) count := new_size ensure new_count: count = old count + s.count end left_adjust is -- Remove leading whitespace. do count := str_left ($area, count) ensure new_count: (count /= 0) implies ((item (1) /= ' ') and (item (1) /= '%T') and (item (1) /= '%R') and (item (1) /= '%N')) end precede (c: CHARACTER) is -- Add c at front. do if count = capacity then resize (count + additional_space) end str_cprepend ($area, c, count) count := count + 1 ensure new_count: count = old count + 1 end prepend (s: STRING) is -- Prepend a copy of s at front. require argument_not_void: s /= void local new_size: INTEGER s_area: like area do new_size := count + s.count if new_size > capacity then resize (new_size + additional_space) end s_area := s.area str_insert ($area, $s_area, count, s.count, 1) count := new_size ensure new_count: count = old count + s.count end prepend_boolean (b: BOOLEAN) is -- Prepend the string representation of b at front. do prepend (b.out) end prepend_character (c: CHARACTER) is -- Prepend the string representation of c at front. do prepend (c.out) end prepend_double (d: DOUBLE) is -- Prepend the string representation of d at front. do prepend (d.out) end prepend_integer (i: INTEGER) is -- Prepend the string representation of i at front. do prepend (i.out) end prepend_real (r: REAL) is -- Prepend the string representation of r at front. do prepend (r.out) end prepend_string (s: STRING) is -- Prepend a copy of s, if not void, at front. do if s /= void then prepend (s) end end put (c: CHARACTER; i: INTEGER) is -- Replace character at position i by c. require -- from TABLE valid_key: valid_index (k) do area.put (c, i - 1) ensure then -- from INDEXABLE insertion_done: item (k) = v end replace_blank is -- Replace all current characters with blanks. do replace_character (' ') ensure same_size: (count = old count) and (capacity = old capacity) end replace_character (c: CHARACTER) is -- Replace all current characters with characters all equal to c. do ($area).memory_set (c.code, count) ensure same_size: (count = old count) and (capacity = old capacity) end replace_substring (s: like Current; start_pos, end_pos: INTEGER) is -- Copy the characters of s to positions -- start_pos .. end_pos. require string_exists: s /= void index_small_enough: end_pos <= count order_respected: start_pos <= end_pos index_large_enough: start_pos > 0 local new_size, substring_size: INTEGER s_area: like area do substring_size := end_pos - start_pos + 1 new_size := s.count + count - substring_size if new_size > capacity then resize (new_size + additional_space) end s_area := s.area str_replace ($area, $s_area, count, s.count, start_pos, end_pos) count := new_size ensure new_count: count = old count + s.count - end_pos + start_pos - 1 end replace_substring_all (original, new: like Current) is -- Replace every occurence of original with new. require original_exists: original /= void new_exists: new /= void original_not_empty: not original.is_empty local change_pos: INTEGER do if not is_empty then from change_pos := substring_index (original, 1) until change_pos = 0 loop replace_substring (new, change_pos, change_pos + original.count - 1) if change_pos + new.count <= count then change_pos := substring_index (original, change_pos + new.count) else change_pos := 0 end end end end right_adjust is -- Remove trailing whitespace. do count := str_right ($area, count) ensure new_count: (count /= 0) implies ((item (count) /= ' ') and (item (count) /= '%T') and (item (count) /= '%R') and (item (count) /= '%N')) end set (t: like Current; n1, n2: INTEGER) is -- Set current string to substring of t from indices n1 -- to n2, or to empty string if no such substring. require argument_not_void: t /= void local s: STRING do s := t.substring (n1, n2) area := s.area count := s.count ensure is_substring: is_equal (t.substring (n1, n2)) end share (other: like Current) is -- Make current string share the text of other. -- Subsequent changes to the characters of current string -- will also affect other, and conversely. require argument_not_void: other /= void do area := other.area count := other.count ensure shared_count: other.count = count end subcopy (other: like Current; start_pos, end_pos, index_pos: INTEGER) is -- Copy characters of other within bounds start_pos and -- end_pos to current string starting at index index_pos. require other_not_void: other /= void valid_start_pos: other.valid_index (start_pos) valid_end_pos: other.valid_index (end_pos) valid_bounds: (start_pos <= end_pos) or (start_pos = end_pos + 1) valid_index_pos: valid_index (index_pos) enough_space: (count - index_pos) >= (end_pos - start_pos) local other_area: like area start0, end0, index0: INTEGER do other_area := other.area start0 := start_pos - 1 end0 := end_pos - 1 index0 := index_pos - 1 spsubcopy ($other_area, $area, start0, end0, index0) end tail (n: INTEGER) is -- Remove all characters except for the last n; -- do nothing if n >= count. require non_negative_argument: n >= 0 local i, j: INTEGER do if n < count then from j := (count - n) i := 0 until i = n loop area.put (area.item (j), i) i := i + 1 j := j + 1 end count := n end ensure new_count: count = n.min (old count) end infix "+" (s: STRING): STRING is -- Append a copy of 's' at the end of a copy of Current, -- Then return the Result. require argument_not_void: s /= void do create Result.make (count + s.count) Result.append_string (Current) Result.append_string (s) ensure result_exists: Result /= void new_count: Result.count = count + s.count end feature {NONE} -- Element change set_area (other: like area) is -- Make other the new area -- (from TO_SPECIAL) do area := other end feature -- Removal clear_all is -- Reset all characters. do count := 0 ensure is_empty: count = 0 same_capacity: capacity = old capacity end prune (c: CHARACTER) is -- Remove first occurrence of c, if any. require -- from COLLECTION prunable: prunable require else True local counter: INTEGER do from counter := 1 until counter > count or else (item (counter) = c) loop counter := counter + 1 end if counter <= count then remove (counter) end end prune_all (c: CHARACTER) is -- Remove all occurrences of c. require -- from COLLECTION prunable require else True do count := str_rmall ($area, c, count) ensure -- from COLLECTION no_more_occurrences: not has (v) ensure then changed_count: count = (old count) - (old occurrences (c)) end prune_all_leading (c: CHARACTER) is -- Remove all leading occurrences of c. do from until is_empty or else item (1) /= c loop remove (1) end end prune_all_trailing (c: CHARACTER) is -- Remove all trailing occurrences of c. do from until is_empty or else item (count) /= c loop remove (count) end end remove (i: INTEGER) is -- Remove i-th character. require index_small_enough: i <= count index_large_enough: i > 0 do str_rmchar ($area, count, i) count := count - 1 ensure new_count: count = old count - 1 end wipe_out is -- Remove all characters. require -- from COLLECTION prunable do area := empty_area count := 0 ensure -- from COLLECTION wiped_out: is_empty ensure then is_empty: count = 0 empty_capacity: capacity = 0 end feature -- Resizing adapt_size is -- Adapt the size to accommodate count characters. do resize (count) end automatic_grow is -- Change the capacity to accommodate at least -- Growth_percentage more items. -- (from RESIZABLE) do grow (capacity + additional_space) ensure -- from RESIZABLE increased_capacity: capacity >= old capacity + old capacity * growth_percentage // 100 end grow (newsize: INTEGER) is -- Ensure that the capacity is at least newsize. require -- from RESIZABLE True require else new_size_non_negative: newsize >= 0 do if newsize > capacity then resize (newsize) end ensure -- from RESIZABLE new_capacity: capacity >= i end resize (newsize: INTEGER) is -- Rearrange string so that it can accommodate -- at least newsize characters. -- Do not lose any previously entered character. require new_size_non_negative: newsize >= 0 local area_count: INTEGER do area_count := area.count if newsize >= area_count then if area_count = 1 then make_area (newsize + 1) else area := str_resize ($area, newsize + 1) end end end feature -- Conversion center_justify is -- Center justify the string using -- the capacity as the width do str_cjustify ($area, count, capacity) end character_justify (pivot: CHARACTER; position: INTEGER) is -- Justify a string based on a pivot -- and the position it needs to be in -- the final string. -- This will grow the string if necessary -- to get the pivot in the correct place. require valid_position: position <= capacity positive_position: position >= 1 pivot_not_space: pivot /= ' ' not_empty: not is_empty do if index_of (pivot, 1) < position then from precede (' ') until index_of (pivot, 1) = position loop precede (' ') end elseif index_of (pivot, 1) > position then from remove (1) until index_of (pivot, 1) = position loop remove (1) end end from until count = capacity loop extend (' ') end end left_justify is -- Left justify the string using -- the capacity as the width do str_ljustify ($area, count, capacity) end linear_representation: LINEAR [CHARACTER] is -- Representation as a linear structure local temp: ARRAYED_LIST [CHARACTER] i: INTEGER do create temp.make (capacity) from i := 1 until i > count loop temp.extend (item (i)) i := i + 1 end Result := temp end mirror is -- Reverse the order of characters. -- "Hello world" -> "dlrow olleH". local a: like area c: CHARACTER i, j: INTEGER do if count > 0 then from i := count - 1 a := area until i <= j loop c := a.item (i) a.put (a.item (j), i) a.put (c, j) i := i - 1 j := j + 1 end end ensure same_count: count = old count end mirrored: like Current is -- Mirror image of string; -- result for "Hello world" is "dlrow olleH". do Result := clone (Current) if count > 0 then Result.mirror end ensure same_count: Result.count = count end right_justify is -- Right justify the string using -- the capacity as the width do str_rjustify ($area, count, capacity) end split (a_separator: CHARACTER): LINEAR [STRING] is -- Split on a_separator. -- Ignore separators in quotes. local al: ARRAYED_LIST [STRING] part: STRING i, j, c: INTEGER q: BOOLEAN p: CHARACTER do from c := count create al.make (c) i := 1 j := 0 until i > c loop j := index_of (a_separator, i) if j = 0 then j := c + 1 end part := substring (i, j - 1) if part.has ('"') then from j := i - 1 p := '%U' until j >= c or p = a_separator loop j := j + 1 p := item (j) if p = '"' and not (j > 1 and then item (j - 1) = '%%') then q := not q end if q and p = a_separator then p := '%U' end end part := substring (i, j - 1) part.replace_substring_all ("%%%%", "_#___PERCENT___#_") part.replace_substring_all ("%%%"", "_#___QUOTE___#_") part.replace_substring_all ("%"", "") part.replace_substring_all ("_#___PERCENT___#_", "%%") part.replace_substring_all ("_#___QUOTE___#_", "%"") part.prepend ("%"") part.append ("%"") end al.extend (part) i := j + 1 end Result := al check al.count = occurrences (a_separator) end ensure Result /= void end to_boolean: BOOLEAN is -- Boolean value; -- "True" yields True, "False" yields False -- (case-insensitive) require is_boolean: is_boolean local s: STRING do s := clone (Current) s.right_adjust s.left_adjust s.to_lower Result := s.is_equal (true_constant) end frozen to_c: ANY is -- A reference to a C form of current string. -- Useful only for interfacing with C software. do area.put ('%U', count) Result := area end to_double: DOUBLE is -- "Double" value; -- for example, when applied to "123.0", will yield 123.0 (double) require represents_a_double: is_double do Result := str_atod ($area, count) end to_integer: INTEGER is -- Integer value; -- for example, when applied to "123", will yield 123 require is_integer: is_integer do Result := str_atoi ($area, count) end to_lower is -- Convert to lower case. local i: INTEGER a: like area do from i := count - 1 a := area until i < 0 loop a.put (a.item (i).lower, i) i := i - 1 end end to_real: REAL is -- Real value; -- for example, when applied to "123.0", will yield 123.0 require represents_a_real: is_real do Result := str_ator ($area, count) end to_upper is -- Convert to upper case. local i: INTEGER a: like area do from i := count - 1 a := area until i < 0 loop a.put (a.item (i).upper, i) i := i - 1 end end feature -- Duplication multiply (n: INTEGER) is -- Duplicate a string within itself -- ("hello").multiply(3) => "hellohellohello" require meaningful_multiplier: n >= 1 local s: STRING i: INTEGER do s := clone (Current) grow (n * count) from i := n until i = 1 loop append (s) i := i - 1 end end substring (n1, n2: INTEGER): like Current is -- Copy of substring containing all characters at indices -- between n1 and n2 local other_area: like area do if (1 <= n1) and (n1 <= n2) and (n2 <= count) then create Result.make (n2 - n1 + 1) other_area := Result.area ($other_area).memory_copy ($area + (n1 - 1), n2 - n1 + 1) Result.set_count (n2 - n1 + 1) else create Result.make (0) end ensure new_result_count: Result.count = n2 - n1 + 1 or Result.count = 0 end feature {NONE} -- Inapplicable bag_put (v: CHARACTER) is -- (from TABLE) require -- from COLLECTION extendible: extendible do ensure -- from COLLECTION item_inserted: is_inserted (v) end feature {STRING_HANDLER} -- Implementation frozen set_count (number: INTEGER) is -- Set count to number of characters. require valid_count: 0 <= number and number <= capacity do count := number ensure new_count: count = number end feature {STRING} -- Implementation c_p_i: INTEGER is obsolete "You now have to implement it yourself by inheriting from PLATFORM." -- Number of characters per INTEGER do end hashcode (c_string: POINTER; len: INTEGER): INTEGER is -- Hash code value of c_string external "C use %"eif_tools.h%"" end spsubcopy (source, target: POINTER; s, e, i: INTEGER) is -- Copy characters of source within bounds s -- and e to target starting at index i. external "C use %"eif_copy.h%"" end str_atod (c_string: POINTER; length: INTEGER): DOUBLE is -- Value of double in c_string external "C signature (EIF_CHARACTER *, EIF_INTEGER): EIF_DOUBLE use %"eif_str.h%"" end str_atoi (c_string: POINTER; length: INTEGER): INTEGER is -- Value of integer in c_string external "C signature (EIF_CHARACTER *, EIF_INTEGER): EIF_INTEGER use %"eif_str.h%"" end str_ator (c_string: POINTER; length: INTEGER): REAL is -- Value of real in c_string external "C signature (EIF_CHARACTER *, EIF_INTEGER): EIF_REAL use %"eif_str.h%"" end str_cjustify (c_string: POINTER; length, cap: INTEGER) is -- Center justify in a field of capacity -- the c_string of length length external "C signature (EIF_CHARACTER *, EIF_INTEGER, EIF_INTEGER) use %"eif_str.h%"" end str_cprepend (c_string: POINTER; c: CHARACTER; length: INTEGER) is -- Prepend c to c_string. external "C signature (EIF_CHARACTER *, EIF_CHARACTER, EIF_INTEGER) use %"eif_str.h%"" end str_insert (c_string, other_string: POINTER; c_length, other_length, position: INTEGER) is -- Insert other_string into c_string at position. -- Insertion occurs at the left of position. external "C signature (EIF_CHARACTER *, EIF_CHARACTER *, EIF_INTEGER, EIF_INTEGER, EIF_INTEGER) use %"eif_str.h%"" end str_isd (c_string: POINTER; length: INTEGER): BOOLEAN is -- Is is a double? external "C signature (EIF_CHARACTER *, EIF_INTEGER): EIF_BOOLEAN use %"eif_str.h%"" end str_isi (c_string: POINTER; length: INTEGER): BOOLEAN is -- Is is an integer? external "C signature (EIF_CHARACTER *, EIF_INTEGER): EIF_BOOLEAN use %"eif_str.h%"" end str_isr (c_string: POINTER; length: INTEGER): BOOLEAN is -- Is is a real? external "C signature (EIF_CHARACTER *, EIF_INTEGER): EIF_BOOLEAN use %"eif_str.h%"" end str_left (c_string: POINTER; length: INTEGER): INTEGER is -- Remove all leading whitespace from c_string. -- Return the new number of characters making c_string external "C signature (EIF_CHARACTER *, EIF_INTEGER): EIF_INTEGER use %"eif_str.h%"" end str_len (c_string: POINTER): INTEGER is -- Length of the C string: c_string external "C signature (char *): EIF_INTEGER use %"eif_str.h%"" alias "strlen" end str_ljustify (c_string: POINTER; length, cap: INTEGER) is -- Left justify in a field of capacity -- the c_string of length length external "C signature (EIF_CHARACTER *, EIF_INTEGER, EIF_INTEGER) use %"eif_str.h%"" end str_replace (c_string, other_string: POINTER; c_length, other_length, star_post, end_pos: INTEGER) is -- Replace substring (start_pos, end_pos) from c_string -- by other_string. external "C signature (EIF_CHARACTER *, EIF_CHARACTER *, EIF_INTEGER, EIF_INTEGER, EIF_INTEGER, EIF_INTEGER) use %"eif_str.h%"" end str_resize (a: POINTER; newsize: INTEGER): like area is -- Area which can accomodate -- at least newsize characters external "C use %"eif_malloc.h%"" alias "sprealloc" end str_right (c_string: POINTER; length: INTEGER): INTEGER is -- Remove all trailing whitespace from c_string. -- Return the new number of characters making c_string external "C signature (EIF_CHARACTER *, EIF_INTEGER): EIF_INTEGER use %"eif_str.h%"" end str_rjustify (c_string: POINTER; length, cap: INTEGER) is -- Right justify in a field of capacity -- the c_string of length length external "C signature (EIF_CHARACTER *, EIF_INTEGER, EIF_INTEGER) use %"eif_str.h%"" end str_rmall (c_string: POINTER; c: CHARACTER; length: INTEGER): INTEGER is -- Remove all occurrences of c in c_string. -- Return new number of character making up c_string external "C signature (EIF_CHARACTER *, EIF_CHARACTER, EIF_INTEGER): EIF_INTEGER use %"eif_str.h%"" end str_rmchar (c_string: POINTER; length, i: INTEGER) is -- Remove i-th character from c_string. external "C signature (EIF_CHARACTER *, EIF_INTEGER, EIF_INTEGER) use %"eif_str.h%"" end str_str (c_str, o_str: POINTER; clen, olen, i, fuzzy: INTEGER): INTEGER is -- Forward search of o_str within c_str starting at i. -- Return the index within c_str where the pattern was -- located, 0 if not found. -- The 'fuzzy' parameter is the maximum allowed number of -- mismatches within the pattern. A 0 means an exact match. external "C use %"eif_eiffel.h%"" end str_strict_cmp (this, other: POINTER; len: INTEGER): INTEGER is -- Compare this and other C strings -- for the first len characters. -- 0 if equal, < 0 if this < other, -- > 0 if this > other external "C signature (char *, char *, size_t): EIF_INTEGER use <string.h>" alias "strncmp" end feature {NONE} -- Empty string implementation empty_area: SPECIAL [CHARACTER] is -- Empty area used when calling `make (0)'. local old_area: like area once old_area := area make_area (1) Result := area area := old_area end feature -- Output out: like Current is -- Printable representation do Result := clone (Current) end invariant extendible: extendible compare_character: not object_comparison index_set_has_same_count: index_set.count = count -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) -- from INDEXABLE index_set_not_void: index_set /= void -- from RESIZABLE increase_by_at_least_one: minimal_increase >= 1 -- from BOUNDED valid_count: count <= capacity full_definition: full = (count = capacity) -- from FINITE empty_definition: is_empty = (count = 0) non_negative_count: count >= 0 -- from COMPARABLE irreflexive_comparison: not (Current < Current) indexing library: "[ EiffelBase: Library of reusable components for Eiffel. ]" status: "[ Copyright 1986-2001 Interactive Software Engineering (ISE). For ISE customers the original versions are an ISE product covered by the ISE Eiffel license and support agreements. ]" license: "[ EiffelBase may now be used by anyone as FREE SOFTWARE to develop any product, public-domain or commercial, without payment to ISE, under the terms of the ISE Free Eiffel Library License (IFELL) at http://eiffel.com/products/base/license.html. ]" source: "[ Interactive Software Engineering Inc. ISE Building 360 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Electronic mail <info@eiffel.com> Customer support http://support.eiffel.com ]" info: "[ For latest info see award-winning pages: http://eiffel.com ]" end -- class STRING -- Generated by ISE Eiffel --
For more details: www.eiffel.com