indexing

	description:	
		"Set execution format so that execution will stop %
			%at next breakable statement.";
	date: "$Date$";
	revision: "$Revision$"

class
	EXEC_INTO

inherit
	EXEC_FORMAT
		rename
			step_into as execution_mode
		redefine
			work
		end

create
	make

feature -- Properties

	symbol: PIXMAP is
			-- Pixmap for the button.
		once
			Result := Pixmaps.bm_Exec_into
		end

feature -- Formatting

	work (argument: ANY) is
			-- Set the execution format to `stone'.
		do
			precursor(argument)
		end

feature {NONE} -- Attributes

	name: STRING is
			-- Name of the command.
		once
			Result := Interface_names.f_Exec_into
		end

	menu_name: STRING is
			-- Name used in menu entry
		once
			Result := Interface_names.m_Exec_into
		end

	accelerator: STRING is
			-- Accelerator action for menu entry
		do
		end

end -- class EXEC_INTO