indexing
	description: "Mixin class that provides portable string manipulation routines."
	project: "Project Goanna <http://sourceforge.net/projects/goanna>"
	library: "Utility"
	date: "$Date$"
	revision: "$Revision$"
	author: "Glenn Maughan <glennmaughan@users.sourceforge.net>"
	copyright: "Copyright (c) 2001 Glenn Maughan and others"
	license: "Eiffel Forum License v2 (see forum.txt)."

class GOA_STRING_MANIPULATION

feature -- Basic operations

	create_blank_buffer (size: INTEGER): STRING is
			-- Create a buffer string filled with blanks.
		require
			positive_size: size >= 0
		do
			create Result.make_filled (' ', size)
		ensure
			blank_buffer_exists: Result /= Void
			correct_size: Result.count = size
			blank_filled: Result.occurrences (' ') = size
		end
	
	index_of_char (str: STRING; char: CHARACTER; start: INTEGER): INTEGER is
			-- Position of first occurrence of `c' in `str' at or after `start';
			-- 0 if none.
		require
			str_exists: str /= Void
			start_large_enough: start >= 1
			start_small_enough: start <= str.count
		do
			Result := str.index_of (char, start)
		end
		
	clear_buffer (buffer: STRING) is
			-- Clear buffer of all characters
		require
			buffer_exists: buffer /= Void
		do
			buffer.wipe_out
		ensure
			empty: buffer.is_empty
		end
		
	is_buffer_full (buffer: STRING): BOOLEAN is
			-- Is 'buffer' full to capacity?
		require
			buffer_exists: buffer /= Void
		do
#ifdef ISE
			Result := buffer.full
		ensure
			full_result: Result = buffer.full
#endif
#ifdef SE
			Result := buffer.count = buffer.capacity
		ensure
			full_result: Result = (buffer.count = buffer.capacity)
#endif
#ifdef VE
			Result := not buffer.is_empty -- can't actually tell
		ensure
			full_result: Result = not buffer.is_empty
#endif
		end	
		
	last_index_of (str: STRING; c: CHARACTER; start_index_from_end: INTEGER): INTEGER is
			-- Position of last occurence of `c' in 'str'.
			-- 0 if none
		require
			str_exists: str /= Void
			start_index_small_enough: start_index_from_end <= str.count
			start_index_large_enough: start_index_from_end >= 1
#ifdef ISE
		do
			Result := str.last_index_of (c, start_index_from_end)
#endif
#ifdef SE || VE
		local
			i: INTEGER
		do
			from
				i := start_index_from_end
			until
				i < 1 or else str.item (i) = c
			loop
				i := i - 1
			end
			if i > 0 then
				Result := i
			end
#endif
		ensure
			correct_place: Result > 0 implies str.item (Result) = c
		end
	
	prepend_character (c: CHARACTER; s: STRING) is
			-- Prepend 'c' to 's'
		require
			s_exists: s /= Void
		do
#ifdef ISE
			s.prepend_character (c)
#endif
#ifdef SE || VE
			s.precede (c)
#endif
		ensure
			character_prepended: s.item (1).is_equal (c)
			s_one_char_longer: s.count = old s.count + 1
		end
	
	fill_blank (s: STRING) is
			-- Fill 's' with spaces
		require
			s_exists: s /= Void
		do
#ifdef ISE || VE
			s.fill_blank
#endif
#ifdef SE
			s.fill_with (' ')
#endif
		ensure
			s_blank: s.occurrences (' ') = s.count
		end

end -- class GOA_STRING_MANIPULATION