--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

class TEST
creation
	make

feature

	make is
		do
			io.putstring (new_file_name ("Weasel")); io.new_line;
		end;

	new_file_name (pre: STRING): STRING is
		local
	    		seq: TEST1;
		do
			!!seq;
			Result := concat (<< pre, "_", formatted (seq.seq_value), "_" >>);
		end;

	formatted (i : INTEGER): STRING is
		do
			Result := "weasel";
		end;

	concat (list: ARRAY [STRING]): STRING is
			-- Concatenation of all the strings in `list'.
			-- Void strings are ignored.
		require
			list_not_void: list /= Void
		local
			pos, len: INTEGER;
		do
			from
				pos := list.lower;
			until
				pos > list.upper
			loop
				len := len + list.item (pos).count;
				pos := pos + 1;
			end;
			from
				!!Result.make (len);
				pos := list.lower;
			until
				pos > list.upper
			loop
				Result.append (list.item (pos));
				pos := pos + 1;
			end;
		ensure
			result_not_void: Result /= Void;
		end;
end