indexing
	description: "Create a new instance."
	Id: "$Id$" 
	Date: "$Date$"
	Revision: "$Revision$"

class CMD_CREATE_INSTANCE

inherit

	CMD_COMMAND
		redefine
			redo,
			command_work
		end

creation

	make

feature {NONE} -- Initialization

	make (inst: CMD_INSTANCE) is
		do
			cmd_instance := inst
		end

feature -- Access

	name: STRING is
		do
			Result := Command_names.cmd_create_instance_cmd_name
		end

feature {NONE} -- Implementation

	cmd_instance: CMD_INSTANCE

	command_work is
		do
		end

	redo is
		local
			command_tool: COMMAND_TOOL
		do
			if not cmd_instance.edited then
				command_tool := window_mgr.command_tool
				command_tool.set_instance (cmd_instance)
				window_mgr.display (command_tool)
			end
		end

	undo is
		do
			if cmd_instance.edited then
				cmd_instance.command_tool.close (Void, Void)
			end
		end

	worked_on: STRING is
		do
			Result := cmd_instance.label
		end

end -- class CMD_CREATE_INSTANCE