indexing
	description: "Commands that do nothing"
	library: "Gobo Eiffel Utility Library"
	author: "Eric Bezault <ericb@gobo.demon.co.uk>"
	copyright: "Copyright (c) 1997, Eric Bezault"

class interface
	UT_DO_NOTHING_COMMAND

create 

	make

feature -- Execution

	execute
			-- Execute current command.
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class UT_DO_NOTHING_COMMAND