class APPLICATION

inherit

	SHARED_CONTROL;

	STATES;

	WINDOWS

creation

	make

feature

	make is
		do
			control.put (BASIC, Exit_from_application, "quit");
			control.put (BASIC, Editing, "modify");
			control.put (BASIC, Viewing, "view");
			control.put (Editing, BASIC, "save");
			control.put (Editing, Exit_from_application, "quit");
			control.put (Editing, Viewing, "view");
			control.put (Viewing, Exit_from_application, "quit");
			control.put (Viewing, Return_to_previous, "back");
			control.set_initial_state (BASIC);
			init_windowing
		end

end