indexing
	description: "";
	date: "$Date$";
	revision: "$Revision$"

class 
	GENERATE_ALL_REVERSE

inherit
	CASE_COMMAND2

create
	make

feature
	execute (a: ANY) is 
		local
			aa : GRAPHICAL_DEGREE_OUTPUT
			bb : WARNER_W
			format_case: FORMAT_CASE_STORAGE
		do
			case_window.hide
			create aa
			aa.set_parent_window (case_window.Project_tool.implementation)
			create bb.make (Project_tool)
			create format_case.make (bb, aa, TRUE)
			format_case.execute (case_window.text_field1.text)
		end

end -- class GENERATE_ALL_REVERSE