indexing

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

class E_SHOW_ROUTINES 

inherit

	E_CLASS_FORMAT_CMD
		rename
			work as class_work
		export
			{NONE} class_work
		end;

	E_CLASS_FORMAT_CMD
		redefine
			work
		select
			work
		end

create

	make, do_nothing

feature -- Access

	criterium (f: E_FEATURE): BOOLEAN is
			-- Criterium for feature `f'
		do
			Result := not f.is_attribute and not f.is_constant
		ensure then
			good_criterium: Result = (not f.is_attribute and not f.is_constant)
		end

feature -- Execution

	work is
			-- Display the routines and the invariant of `current_class'. 
		local
			class_f: CLASS_TEXT_FORMATTER
		do
			class_work;
			create class_f;
			class_f.set_clickable;
			class_f.format_invariants (current_class);
			if not class_f.error then
				structured_text.append (class_f.text)
			end
		end

end -- class E_SHOW_ROUTINES