note
	legal: "See notice at end of class."
	status: "See notice at end of class."
class
	EDIT_LOCAL

inherit
	EDIT_ITEM

create
	default_create

feature {NONE} -- Implementation of deferred features

	generic_modify_item
			-- send the first part of the 'modify-local' request
		do
			send_rqst_3_integer (Rqst_modify_local, debugger_manager.application.current_execution_stack_number, item_type, item.item_number)
		end

	start_feature
			-- What to do to initialize the modification of an item.
		do
			if attached {like stack} debugger_manager.application.status.current_call_stack_element as l_stack then
				stack := l_stack
				has_result := l_stack.routine.is_function

				-- FIXME ARNAUD -- To do: a beautiful interface...
				io.put_string("EDIT A LOCAL VARIABLE%N")
				io.put_string("----------------------------%N")
				io.put_string("Type of local item to edit ?%N")
				if l_stack.arguments /= Void then
					io.put_string("0. Argument%N")
				end
				if l_stack.locals /= Void then
					io.put_string("1. Local Variable%N")
				end
				if has_result then
					io.put_string("2. Result%N")
				end
				io.readline
				item_type := io.last_string.to_integer
				-- END FIXME

					-- set the place where we should search the name of the item
				inspect item_type
					when Dlt_argument then
	--					item_list := l_stack.arguments
					when Dlt_localvar then
	--					item_list := l_stack.locals
					else
						item_list := Void
				end

					-- deals with a special case: the Result
				if item_type = Dlt_result then
					item := l_stack.result_value
				end
			else
				stack := Void
			end
		end

	update_display
			-- update the call stack after local variable modification.
		local
			call_stack_elem: CALL_STACK_ELEMENT
			retry_clause: BOOLEAN
		do
			if not retry_clause then
				status.reload_current_call_stack
				call_stack_elem := status.current_call_stack_element
--				if call_stack_elem /= Void then
--					Project_tool.display_exception_stack
--				end
			else -- retry_clause, something went wrong
				if debugger_manager.application.is_running then
					debugger_manager.application.process_termination
				end
			end
		rescue
			-- FIXME ARNAUD
			-- toTo: write a beautiful message box instead of this crappy message
			io.put_string("Error while getting Application callstack. Application will be terminated%N")
			-- END FIXME
			retry_clause := True
			retry
		end

feature {NONE} -- Private variables

	stack: detachable EIFFEL_CALL_STACK_ELEMENT
		-- Current call stack element being displayed.

	has_result: BOOLEAN
		-- has the active feature a Result?

	item_type: INTEGER
		-- type of the local item (Dlt_argument or Dlt_localvar or Dlt_result)

feature {NONE} -- Private Constants (defined in eif_debug.h for the run-time side)

	Dlt_argument: INTEGER = 0
	Dlt_localvar: INTEGER = 1
	Dlt_result	: INTEGER = 2;

note
	copyright:	"Copyright (c) 1984-2012, Eiffel Software"
	license:	"GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
	licensing_options:	"http://www.eiffel.com/licensing"
	copying: "[
			This file is part of Eiffel Software's Eiffel Development Environment.
			
			Eiffel Software's Eiffel Development Environment is free
			software; you can redistribute it and/or modify it under
			the terms of the GNU General Public License as published
			by the Free Software Foundation, version 2 of the License
			(available at the URL listed under "license" above).
			
			Eiffel Software's Eiffel Development Environment is
			distributed in the hope that it will be useful, but
			WITHOUT ANY WARRANTY; without even the implied warranty
			of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
			See the GNU General Public License for more details.
			
			You should have received a copy of the GNU General Public
			License along with Eiffel Software's Eiffel Development
			Environment; if not, write to the Free Software Foundation,
			Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
		]"
	source: "[
			Eiffel Software
			5949 Hollister Ave., Goleta, CA 93117 USA
			Telephone 805-685-1006, Fax 805-685-6869
			Website http://www.eiffel.com
			Customer support http://support.eiffel.com
		]"

end -- class EDIT_LOCAL