indexing
	description: "Tests compilers completion info features"
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class
	COMPLETION_INFO_TESTER

inherit
	COMPILER_TESTER_SHARED
	
create 
	make
	
feature {NONE} -- Initialization

	make (a_interface: like completion_interface) is
			-- create tester for completion info
		do
			completion_interface := a_interface
			create menu.make ("IEIFFEL_COMPLETION_INFO")
			add_menu_items
			menu.show
		end

feature {NONE} -- Agent Handlers

	on_all_completion_info_test (args: ARRAYED_LIST [STRING]) is
			-- test all completion info related tests with safe recovery from raised exceptions
		do
			-- reset failure count
			test_failure_count := 0
			-- call test(s)
			call_test (agent test_completion_info, args, True, False)
			-- display number of failures
			display_failure_count
		end
		
	test_completion_info (args: ARRAYED_LIST [STRING]) is
			-- test completion info
		require
			non_void_project_manager: project_manager /= Void
		do
			perform_completion_info_tests (project_manager.completion_information)
		end

	on_add_argument_selected (args: ARRAYED_LIST [STRING]) is
			-- test 'add_argument' safely
		do
			test_failure_count := 0
			call_test (agent test_add_argument, args, False, False)
			display_failure_count
		end
		
	test_add_argument (args: ARRAYED_LIST [STRING]) is
			-- test 'add_argument'
		local
			l_arg_name: STRING
			l_arg_type: STRING
		do
			put_string ("%NTesting 'add_argument'")
			put_string ("%N  Enter argument name: ")
			read_line
			l_arg_name := last_string
			put_string ("%N  Enter argument type: ")
			read_line
			l_arg_type := last_string
			add_argument (l_arg_name, l_arg_type)
			put_string ("%N")
		end
		
	on_add_local_selected (args: ARRAYED_LIST [STRING]) is
			-- test 'add_local' safely
		do
			test_failure_count := 0
			call_test (agent test_add_local, args, False, False)
			display_failure_count
		end
		
	test_add_local (args: ARRAYED_LIST [STRING]) is
			-- test 'add_local'
		local
			l_local_name: STRING
			l_local_type: STRING
		do
			put_string ("%NTesting 'add_local'")
			put_string ("%N  Enter local name: ")
			read_line
			l_local_name := last_string
			put_string ("%N  Enter local type: ")
			read_line
			l_local_type := last_string
			add_local (l_local_name, l_local_type)
			put_string ("%N")
		end
		
	on_target_feature_selected (args: ARRAYED_LIST [STRING]) is
			-- test 'target_feature' safely
		do
			test_failure_count := 0
			call_test (agent test_target_feature, args, False, False)
			display_failure_count
		end
		
	test_target_feature (args: ARRAYED_LIST [STRING]) is
			-- test 'target_feature'
		local
			l_target: STRING
			l_feature_name: STRING
			l_file_name: STRING
		do
			put_string ("%NTesting 'target_feature'")
			put_string ("%N  Enter target: ")
			read_line
			l_target := last_string
			put_string ("%N  Enter feature name: ")
			read_line
			l_feature_name := last_string
			put_string ("%N  Enter file name: ")
			read_line
			l_file_name := last_string
			target_feature (l_target, l_feature_name, l_file_name)
			put_string ("%N")
		end
		
	on_target_features_selected (args: ARRAYED_LIST [STRING]) is
			-- test 'target_features' safely
		do
			test_failure_count := 0
			call_test (agent test_target_features, args, False, False)
			display_failure_count
		end
		
	test_target_features (args: ARRAYED_LIST [STRING]) is
			-- test 'target_features'
		local
			l_target: STRING
			l_feature_name: STRING
			l_file_name: STRING
		do
			put_string ("%NTesting 'target_features'")
			put_string ("%N  Enter target: ")
			read_line
			l_target := last_string
			put_string ("%N  Enter feature name: ")
			read_line
			l_feature_name := last_string
			put_string ("%N  Enter file name: ")
			read_line
			l_file_name := last_string
			target_features (l_target, l_feature_name, l_file_name)
			put_string ("%N")
		end
		
	on_completion_quick_test (args: ARRAYED_LIST [STRING]) is
			-- perform a specific test 
		local
			l_args: ECOM_ARRAY [STRING]
			l_var_args: ECOM_VARIANT
			l_types: ECOM_ARRAY [STRING]
			l_var_types: ECOM_VARIANT
			l_file_name: STRING
			fd: FEATURE_DESCRIPTOR
			return_names, return_descriptions, return_indexes: ECOM_VARIANT
		do
			l_file_name := "D:\Src\library\base\structures\list\arrayed_list.e"
			put_string ("Perfoming custome quick test")
			--completion_interface.flush_completion_features (l_file_name)
			create l_args.make_from_array (<<"a_first", "a_second">>, 1, <<1>>, <<2>>)
			create l_types.make_from_array (<<"STRING", "ANY">>, 1, <<1>>, <<2>>)
			create l_var_args.make
			create l_var_types.make
			l_var_args.set_string_array (l_args)
			l_var_types.set_string_array (l_types)
			--completion_interface.initialize_feature ("a_new_feature", l_var_args, l_var_types, "STRING", 11, l_file_name)
			--completion_interface.initialize_feature ("make2", l_var_args, l_var_types, Void, 2, l_file_name)
			create return_names.make
			create return_descriptions.make
			create return_indexes.make
			--fd ?= completion_interface.target_feature ("a_new_feature", "make2", l_file_name)
			--completion_interface.target_features ("feature {STRING}.", "make2", l_file_name, return_names, return_descriptions, return_indexes)
			put_string ("%N    Result=")
			if return_names.string_array /= Void then
				--display_entries (return_names, return_descriptions, return_indexes)					
			else
				put_string (Void)
			end
		end

feature {NONE} -- Implementation

	perform_completion_info_tests (interface: IEIFFEL_COMPLETION_INFO_INTERFACE) is
			-- Test completion information component.
		local
			l_feature: IEIFFEL_FEATURE_DESCRIPTOR_INTERFACE
		do
			interface.add_local ("s", "STRING")
			l_feature := interface.target_feature ("s.append_real", "make", "C:\Documents and Settings\Remote\My Documents\Visual Studio Projects\blank_project6\root_class.e")
			display_feature (l_feature)
		end
		
	add_argument (name, type: STRING) is
			--
		local
			retried: BOOLEAN
		do
			if not retried then
				put_string ("%N  Testing add_argument with '")
				put_string (name)
				put_string ("', '")
				put_string (type)
				put_string ("'")
				completion_interface.add_argument (name, type)
			else
				put_string ("%N# Failed!")
			end
		rescue
			retried := True
			retry
		end
		
	add_local (name, type: STRING) is
			--
		local
			retried: BOOLEAN
		do
			if not retried then
				put_string ("%N  Testing add_local with '")
				put_string (name)
				put_string ("', '")
				put_string (type)
				put_string ("'")
				completion_interface.add_local (name, type)
			else
				put_string ("%N# Failed!")
			end
		rescue
			retried := True
			retry
		end
		
	target_feature (target, feature_name, file_name: STRING) is
			--
		local
			l_result: IEIFFEL_FEATURE_DESCRIPTOR_INTERFACE
			retried: BOOLEAN
		do
			if not retried then
				put_string ("%N  Testing target_feature with '")
				put_string (target)
				put_string ("', '")
				put_string (feature_name)
				put_string ("', '")
				put_string (file_name)
				put_string ("'")
				l_result := completion_interface.target_feature (target, feature_name, file_name)
				put_string ("%N    Result=")
				if l_result /= Void then
					display_feature (l_result)
				else
					put_string (Void)
				end
			else
				put_string ("%N# Failed!")
			end
		rescue
			retried := True
			retry
		end
		
	target_features (target, feature_name, file_name: STRING) is
			--
		local
			return_names, return_descriptions, return_indexes: ECOM_VARIANT
			retried: BOOLEAN
		do
			if not retried then
				put_string ("%N  Testing target_features with '")
				put_string (target)
				put_string ("', '")
				put_string (feature_name)
				put_string ("', '")
				put_string (file_name)
				put_string ("'")
				create return_names.make
				create return_descriptions.make
				create return_indexes.make
				completion_interface.target_features (target, feature_name, file_name, return_names, return_descriptions, return_indexes)
				put_string ("%N    Result=")
				if return_names.string_array /= Void then
					display_entries (return_names, return_descriptions, return_indexes)					
				else
					put_string (Void)
				end
			else
				put_string ("%N# Failed!")
			end
		rescue
			retried := True
			retry
		end

feature {NONE} -- Output

	display_entries (return_names, return_descriptions, return_indexes: ECOM_VARIANT) is
			-- Display elements in `entries'.
		local
			i, count: INTEGER
		do
			from
				count := return_names.string_array.count
				i := 1
			until
				i > count
			loop
				io.put_string ("name: " + return_names.string_array.item (<<i>>) + "%N")
				io.put_string ("signature: " + return_descriptions.string_array.item (<<i>>) + "%N%N")
				i := i + 1
			end
		end
	
	display_feature (l_feature: IEIFFEL_FEATURE_DESCRIPTOR_INTERFACE) is
			-- Display `l_feature'.
		require
			non_void_feature: l_feature /= Void
		local
			params: IENUM_PARAMETER_INTERFACE
			i, count: INTEGER
			rgelt: CELL [IEIFFEL_PARAMETER_DESCRIPTOR_INTERFACE]
		do
			io.put_string ("feature " + l_feature.name + "%N")
			io.put_string ("signature: " + l_feature.signature + "%N")
			io.put_string ("description: " + l_feature.description + "%N%N")
			params := l_feature.parameters
			count := params.count
			create rgelt.put (Void)
			from
				i := 1
			until
				i > count
			loop
				params.ith_item (i, rgelt)
				io.put_string ("Param " + i.out + " name: " + rgelt.item.name + "%N")
				io.put_string ("Param " + i.out + " display: " + rgelt.item.display + "%N")
				i := i + 1
			end
		end

	add_menu_items is
			-- add menu items to menu
		do
			menu.add_item (create {CONSOLE_MENU_ITEM}.make ("1", "Test add_argument", agent on_add_argument_selected))
			menu.add_item (create {CONSOLE_MENU_ITEM}.make ("2", "Test add_local", agent on_add_local_selected))
			menu.add_item (create {CONSOLE_MENU_ITEM}.make ("3", "Test target_feature", agent on_target_feature_selected))
			menu.add_item (create {CONSOLE_MENU_ITEM}.make ("4", "Test target_features", agent on_target_features_selected))
			menu.add_item (create {CONSOLE_MENU_ITEM}.make ("a", "Perform all completion info test", agent on_all_completion_info_test))
			menu.add_item (create {CONSOLE_MENU_ITEM}.make ("q", "Perform quick test", agent on_completion_quick_test))
			menu.add_item (create {CONSOLE_MENU_ITEM}.make ("x", "Exit Menu", Void))
			menu.set_return_item (menu.items.last)
		end
		
	menu: CONSOLE_MENU
		-- menu
		
	completion_interface: IEIFFEL_COMPLETION_INFO_INTERFACE
		-- completion info interface
		
invariant
	non_void_menu: menu /= Void
	non_void_interface: completion_interface /= Void

indexing
	copyright:	"Copyright (c) 1984-2006, 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
			 356 Storke Road, 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 COMPLETION_INFO_TESTER