note
	description : "Output of command-line arguments"
	author      : "Karlheinz Hug"
	date        : "08-04-24"
	revision    : "12-03-02"

class REMOTE_ARGUMENTS_WRITER

feature

	print_arguments
			-- Print arguments passed from the command-line.
		local
			i			: INTEGER
			arguments	: ARGUMENTS
		do
			create arguments
			io.put_string ("command name: " + arguments.command_name)
			io.put_new_line
			from
				i := 0
			until i > arguments.argument_count loop
				io.put_string ("argument " + i.out + ": " + arguments.argument (i))
				io.put_new_line
				i := i + 1
			end
		end -- print_arguments

end -- class REMOTE_ARGUMENTS_WRITER