class LOCAL_NAMER 

		--| FIXME inherited from Build "as_is"

creation

	make
	
feature 

	reset is
			-- Reset `Current'.
		do
			integer_generator.reset
		end

	seed: STRING;
			-- Seed for name generation.

	value: STRING;
			-- String value generated

feature {NONE}

	integer_generator: INT_GENERATOR;
			-- Generator of unique integers
			
feature 

	make (a_seed: STRING) is
			-- Create the generator by setting its seed value.
		require
			not_a_void_string: not (a_seed = Void)
		do
			seed := clone (a_seed)
			value := seed
			create integer_generator
		end

	next is
			-- Next unique string whose prefix is `value' and
			-- suffix is the next integer
		do
			integer_generator.next
			create value.make (10)
			value.append (seed)
			value.append_integer (integer_generator.value)
		end

end -- class LOCAL_NAMER