indexing

	description:	
		"Command to display results (if any) of once %
		%functions relevant to a given object.";
	date: "$Date$";
	revision: "$Revision$"

class 

	SHOW_ONCE_RESULTS 

inherit
	FILTERABLE
		redefine
			display_temp_header
		end

	SHARED_APPLICATION_EXECUTION

create

	make

feature -- Properties

	symbol: PIXMAP is 
		once 
			Result := Pixmaps.bm_Showonces 
		end;
	
feature {NONE} -- Properties

	name: STRING is
		do
			Result := Interface_names.f_Showoncefunc
		end;

	menu_name: STRING is
			-- Name used in menu entry
		do
			Result := Interface_names.m_Showoncefunc
		end;

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

	title_part: STRING is
		do
			Result := Interface_names.t_Oncefunc_of
		end;

	criterium (f: E_FEATURE): BOOLEAN is
			-- `f' is a once function and `f' is written in a descendant of ANY
			-- or the object is a direct instance of a parent of ANY
		require
			f_exists: f /= Void
		do
			Result := f.is_once and f.is_function
		end;

	create_structured_text (object: OBJECT_STONE): STRUCTURED_TEXT is
		local
			once_func_list: SORTED_TWO_WAY_LIST [E_FEATURE];
			once_request: ONCE_REQUEST;
			arguments: E_FEATURE_ARGUMENTS;
			e_feature: E_FEATURE;
			dynamic_class: CLASS_C;
			type_name: STRING;
			status: APPLICATION_STATUS;	
			cs: CLASSC_STONE;
		do
			status := Application.status;
			if status = void then
				warner (popup_parent).gotcha_call (Warning_messages.w_System_not_running)
			elseif not status.is_stopped then
				warner (popup_parent).gotcha_call (Warning_messages.w_System_not_stopped)
			else
				create Result.make;
				dynamic_class := object.dynamic_class;
				once_func_list := dynamic_class.once_functions;
				create once_request.make;
				type_name := clone (dynamic_class.name);
				type_name.to_upper;
				create cs.make (dynamic_class);
				Result.add_classi (dynamic_class.lace_class, type_name);
				Result.add_string (" [");
				Result.add_address (object.object_address, object.name, dynamic_class);
				Result.add_char (']');
				Result.add_new_line;
				Result.add_new_line;
				from
					once_func_list.start
				until
					once_func_list.after
				loop
					Result.add_indent;
					e_feature := once_func_list.item;
					e_feature.append_name (Result);
					arguments := e_feature.arguments;
					if arguments /= Void then
						Result.add_string (" (");
						from
							arguments.start
						until
							arguments.after
						loop
							Result.add_string (arguments.argument_names.i_th (arguments.index));
							Result.add_string (": ");
							arguments.item.actual_type.append_to (Result);
							arguments.forth;
							if not arguments.after then
								Result.add_string ("; ")
							end
						end;
						Result.add_char (')')
					end;
					Result.add_string (": ");
					if once_request.already_called (e_feature) then
						once_request.once_result (e_feature).append_type_and_value (Result)
					else
						e_feature.type.append_to (Result);
						Result.add_indent;
						Result.add_string ("Not yet called")
					end;
					Result.add_new_line;
					once_func_list.forth
				end
			end
		end;

feature {NONE} -- Implementation

	display_temp_header (stone: STONE) is
			-- Display a temporary header during the format processing.
		do
			tool.set_title ("Finding values of once functions...")
		end;

end -- class SHOW_ONCE_RESULTS