indexing

	description: 
		"Command to display deferred routines of `current_class'.";
	date: "$Date$";
	revision: "$Revision $"

class E_SHOW_DEFERRED_ROUTINES

inherit

	E_CLASS_FORMAT_CMD

create

	make, do_nothing

feature -- Access

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

end -- class E_SHOW_DEFERRED_ROUTINES