indexing

	description:	
		"Command to display class descendants.";
	date: "$Date$";
	revision: "$Revision$"

class SHOW_DESCENDANTS 

inherit

	FILTERABLE
		redefine
			display_temp_header, post_fix
		end

create

	make

feature -- Properties

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

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

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

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

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

	post_fix: STRING is "des";

feature {NONE} -- Attributes

	create_structured_text (c: CLASSC_STONE): STRUCTURED_TEXT is
			-- Display the descendants of `c' in tree form.
		local
			cmd: E_SHOW_DESCENDANTS;
		do
			create cmd.make (c.e_class);
			cmd.execute;
			Result := cmd.structured_text
		end;

feature {NONE} -- Implementation

	display_temp_header (stone: STONE) is
			-- Display a temporary header during the format processing.
		do
			tool.set_title ("Searching for descendants...")
		end;

end -- class SHOW_DESCENDANTS